equal
deleted
inserted
replaced
104 ]. |
104 ]. |
105 OperatingSystem isMSWINDOWSlike ifFalse:[ |
105 OperatingSystem isMSWINDOWSlike ifFalse:[ |
106 OperatingSystem terminateProcessGroup:pid. |
106 OperatingSystem terminateProcessGroup:pid. |
107 ]. |
107 ]. |
108 OperatingSystem terminateProcess:pid. |
108 OperatingSystem terminateProcess:pid. |
109 Delay waitForSeconds:0.1. |
109 Delay waitForSeconds:0.2. |
110 shellPid notNil ifTrue:[ |
110 shellPid notNil ifTrue:[ |
111 Delay waitForSeconds:1. |
111 "/ Delay waitForSeconds:1. |
112 OperatingSystem isMSWINDOWSlike ifFalse:[ |
112 OperatingSystem isMSWINDOWSlike ifFalse:[ |
113 OperatingSystem killProcessGroup:pid. |
113 OperatingSystem killProcessGroup:pid. |
114 ]. |
114 ]. |
115 OperatingSystem killProcess:pid. |
115 OperatingSystem killProcess:pid. |
116 shellPid := nil. |
116 shellPid := nil. |