class: TerminalSession
authorClaus Gittinger <cg@exept.de>
Fri, 12 Feb 2016 19:01:11 +0100
changeset 3725 471628214f13
parent 3724 3c722e973dd0
child 3726 11700572b23e
child 3727 2edee2bb50d2
class: TerminalSession changed: #closeDownShell
TerminalSession.st
--- 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.
             ].