TerminalSession.st
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.