Fixed.

Regards,
Michael


Am 01.08.20 um 11:45 schrieb Michael Balzer:

Oops… having tried a command (non-javascript) script from the web
console just now: apparently there is a bug in the output processing,
that currently only works on the USB console. I'll have a look at that.