ui.tools.listener: set error stream
parent
d61f335fee
commit
b4d406cfa3
|
@ -390,7 +390,7 @@ interactor "completion" f {
|
||||||
listener
|
listener
|
||||||
nl
|
nl
|
||||||
"The listener has exited. To start it again, click “Restart Listener”." print
|
"The listener has exited. To start it again, click “Restart Listener”." print
|
||||||
] with-streams* ;
|
] with-input-output+error-streams* ;
|
||||||
|
|
||||||
: start-listener-thread ( listener -- )
|
: start-listener-thread ( listener -- )
|
||||||
'[
|
'[
|
||||||
|
|
Loading…
Reference in New Issue