TerminalSession.st
changeset 4553 2ca69f94e1c5
parent 4552 58fa57876769
child 4554 41d1d0047772
--- a/TerminalSession.st	Fri Dec 29 12:40:26 2017 +0100
+++ b/TerminalSession.st	Fri Dec 29 12:49:54 2017 +0100
@@ -144,7 +144,7 @@
 !TerminalSession methodsFor:'initialization & release'!
 
 closeDownShell
-    "shut down my shell process and stop the background reader thread."
+    "shut down my shell process"
 
     |pid|
 
@@ -171,6 +171,14 @@
     "Modified: / 5.5.1999 / 18:43:02 / cg"
 !
 
+closeDownShellAndStopReaderProcess
+    "shut down my shell process and stop the background reader thread."
+
+    self closeDownShell.
+    self stopReaderProcess.
+    self closeStreams
+!
+
 closeStreams
     self stopReaderProcess.