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. ].