TerminalSession.st
changeset 3724 3c722e973dd0
parent 3722 2038d4cd1afa
child 3725 471628214f13
--- a/TerminalSession.st	Thu Feb 11 15:44:28 2016 +0100
+++ b/TerminalSession.st	Fri Feb 12 18:59:54 2016 +0100
@@ -100,12 +100,15 @@
 
     (pid := shellPid) notNil ifTrue:[
         Debug ifTrue:[
-            Transcript print:'killing shell pid='; showCR:pid.
+            Transcript show:'killing shell pid='; showCR:pid.
         ].
-        OperatingSystem terminateProcessGroup:pid.
+        OperatingSystem isMSWINDOWSlike ifFalse:[
+            OperatingSystem terminateProcessGroup:pid.
+        ].    
         OperatingSystem terminateProcess:pid.
-        Delay waitForSeconds:1.
+        Delay waitForSeconds:0.1.
         shellPid notNil ifTrue:[
+            Delay waitForSeconds:1.
             OperatingSystem isMSWINDOWSlike ifFalse:[
                 OperatingSystem killProcessGroup:pid.
             ].