TerminalSession.st
changeset 4553 2ca69f94e1c5
parent 4552 58fa57876769
child 4554 41d1d0047772
equal deleted inserted replaced
4552:58fa57876769 4553:2ca69f94e1c5
   142 ! !
   142 ! !
   143 
   143 
   144 !TerminalSession methodsFor:'initialization & release'!
   144 !TerminalSession methodsFor:'initialization & release'!
   145 
   145 
   146 closeDownShell
   146 closeDownShell
   147     "shut down my shell process and stop the background reader thread."
   147     "shut down my shell process"
   148 
   148 
   149     |pid|
   149     |pid|
   150 
   150 
   151     (pid := shellPid) notNil ifTrue:[
   151     (pid := shellPid) notNil ifTrue:[
   152         Debug ifTrue:[
   152         Debug ifTrue:[
   167         ].
   167         ].
   168         OperatingSystem closePid:pid.
   168         OperatingSystem closePid:pid.
   169     ].
   169     ].
   170 
   170 
   171     "Modified: / 5.5.1999 / 18:43:02 / cg"
   171     "Modified: / 5.5.1999 / 18:43:02 / cg"
       
   172 !
       
   173 
       
   174 closeDownShellAndStopReaderProcess
       
   175     "shut down my shell process and stop the background reader thread."
       
   176 
       
   177     self closeDownShell.
       
   178     self stopReaderProcess.
       
   179     self closeStreams
   172 !
   180 !
   173 
   181 
   174 closeStreams
   182 closeStreams
   175     self stopReaderProcess.
   183     self stopReaderProcess.
   176 
   184