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