equal
deleted
inserted
replaced
1150 kill |
1150 kill |
1151 "kill the process - the process does not get the chance to clean up" |
1151 "kill the process - the process does not get the chance to clean up" |
1152 |
1152 |
1153 pid notNil ifTrue:[ |
1153 pid notNil ifTrue:[ |
1154 OperatingSystem killProcess:pid. |
1154 OperatingSystem killProcess:pid. |
1155 self releasePid. |
1155 "do not release the pid here. The release is done, |
|
1156 after the process reported its termination!!" |
1156 ]. |
1157 ]. |
1157 ! |
1158 ! |
1158 |
1159 |
1159 killGroup |
1160 killGroup |
1160 "kill the processGroup - the processes do not get the chance to clean up" |
1161 "kill the processGroup - the processes do not get the chance to clean up" |
1161 |
1162 |
1162 pid notNil ifTrue:[ |
1163 pid notNil ifTrue:[ |
1163 OperatingSystem |
1164 OperatingSystem |
1164 killProcessGroup:pid; |
1165 killProcessGroup:pid; |
1165 killProcess:pid. |
1166 killProcess:pid. |
1166 self releasePid. |
1167 "do not release the pid here. The release is done, |
|
1168 after the process reported its termination!!" |
1167 ]. |
1169 ]. |
1168 ! |
1170 ! |
1169 |
1171 |
1170 terminate |
1172 terminate |
1171 "terminate the process gracefully" |
1173 "terminate the process gracefully" |
1172 |
1174 |
1173 pid notNil ifTrue:[ |
1175 pid notNil ifTrue:[ |
1174 OperatingSystem terminateProcess:pid. |
1176 OperatingSystem terminateProcess:pid. |
1175 self releasePid. |
1177 "do not release the pid here. The release is done, |
|
1178 after the process reported its termination!!" |
1176 ]. |
1179 ]. |
1177 ! |
1180 ! |
1178 |
1181 |
1179 terminateGroup |
1182 terminateGroup |
1180 "terminate the process group. |
1183 "terminate the process group. |
1183 |
1186 |
1184 pid notNil ifTrue:[ |
1187 pid notNil ifTrue:[ |
1185 OperatingSystem |
1188 OperatingSystem |
1186 terminateProcess:pid; |
1189 terminateProcess:pid; |
1187 terminateProcessGroup:pid. |
1190 terminateProcessGroup:pid. |
1188 self releasePid. |
1191 "do not release the pid here. The release is done, |
|
1192 after the process reported its termination!!" |
1189 ]. |
1193 ]. |
1190 |
1194 |
1191 "Modified (comment): / 23-02-2017 / 10:50:13 / Maren" |
1195 "Modified (comment): / 23-02-2017 / 10:50:13 / Maren" |
1192 "Modified: / 09-03-2017 / 15:00:58 / stefan" |
1196 "Modified: / 09-03-2017 / 15:00:58 / stefan" |
1193 ! ! |
1197 ! ! |