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