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