changeset 4625 | 0c4ea1bf37ba |
parent 4555 | 996264459201 |
child 4639 | 3e5713fe4685 |
--- a/TerminalSession.st Wed Mar 21 00:10:01 2018 +0100 +++ b/TerminalSession.st Wed Mar 21 11:37:37 2018 +0100 @@ -1,5 +1,3 @@ -"{ Encoding: utf8 }" - " COPYRIGHT (c) 2013 by eXept Software AG All Rights Reserved @@ -172,7 +170,8 @@ ! closeDownShellAndStopReaderProcess - "shut down my shell process and stop the background reader thread." + "shut down my shell process, stop the background reader thread + and close the streams" self closeDownShell. self stopReaderProcess.