diff -r ec2e3e034b79 -r 0c4ea1bf37ba TerminalSession.st --- 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.