TerminalSession.st
changeset 3725 471628214f13
parent 3724 3c722e973dd0
child 3981 aa54de68b481
--- a/TerminalSession.st	Fri Feb 12 18:59:54 2016 +0100
+++ b/TerminalSession.st	Fri Feb 12 19:01:11 2016 +0100
@@ -106,9 +106,9 @@
             OperatingSystem terminateProcessGroup:pid.
         ].    
         OperatingSystem terminateProcess:pid.
-        Delay waitForSeconds:0.1.
+        Delay waitForSeconds:0.2.
         shellPid notNil ifTrue:[
-            Delay waitForSeconds:1.
+            "/ Delay waitForSeconds:1.
             OperatingSystem isMSWINDOWSlike ifFalse:[
                 OperatingSystem killProcessGroup:pid.
             ].