equal
deleted
inserted
replaced
98 |
98 |
99 |pid| |
99 |pid| |
100 |
100 |
101 (pid := shellPid) notNil ifTrue:[ |
101 (pid := shellPid) notNil ifTrue:[ |
102 Debug ifTrue:[ |
102 Debug ifTrue:[ |
103 Transcript print:'killing shell pid='; showCR:pid. |
103 Transcript show:'killing shell pid='; showCR:pid. |
104 ]. |
104 ]. |
105 OperatingSystem terminateProcessGroup:pid. |
105 OperatingSystem isMSWINDOWSlike ifFalse:[ |
|
106 OperatingSystem terminateProcessGroup:pid. |
|
107 ]. |
106 OperatingSystem terminateProcess:pid. |
108 OperatingSystem terminateProcess:pid. |
107 Delay waitForSeconds:1. |
109 Delay waitForSeconds:0.1. |
108 shellPid notNil ifTrue:[ |
110 shellPid notNil ifTrue:[ |
|
111 Delay waitForSeconds:1. |
109 OperatingSystem isMSWINDOWSlike ifFalse:[ |
112 OperatingSystem isMSWINDOWSlike ifFalse:[ |
110 OperatingSystem killProcessGroup:pid. |
113 OperatingSystem killProcessGroup:pid. |
111 ]. |
114 ]. |
112 OperatingSystem killProcess:pid. |
115 OperatingSystem killProcess:pid. |
113 shellPid := nil. |
116 shellPid := nil. |