equal
deleted
inserted
replaced
2034 "Modified: 13.12.1995 / 13:40:14 / stefan" |
2034 "Modified: 13.12.1995 / 13:40:14 / stefan" |
2035 "Modified: 12.2.1997 / 12:41:38 / cg" |
2035 "Modified: 12.2.1997 / 12:41:38 / cg" |
2036 ! |
2036 ! |
2037 |
2037 |
2038 terminateSubprocesses |
2038 terminateSubprocesses |
2039 "terminate all the receivers subprocesses |
2039 "terminate all the receiver's subprocesses |
2040 (i.e. all processes in the receiver's process group, except for |
2040 (i.e. all processes in the receiver's process group, except for |
2041 the receiver itself)." |
2041 the receiver itself)." |
2042 |
2042 |
2043 id isNil ifTrue:[ |
2043 id isNil ifTrue:[ |
2044 "/ problem: |
2044 "/ problem: |
2082 |
2082 |
2083 terminateWithAllSubprocessesInGroup |
2083 terminateWithAllSubprocessesInGroup |
2084 "terminate the receiver with |
2084 "terminate the receiver with |
2085 all subprocesses which have the receiver's process ID as groupID, |
2085 all subprocesses which have the receiver's process ID as groupID, |
2086 and their group-children as well. |
2086 and their group-children as well. |
2087 (i.e. the receiver plus all processes in the receivers process group, |
2087 (i.e. the receiver plus all processes in the receiver's process group, |
2088 and recursively all of their group processes)." |
2088 and recursively all of their group processes)." |
2089 |
2089 |
2090 self terminateAllSubprocessesInGroup. |
2090 self terminateAllSubprocessesInGroup. |
2091 self terminate |
2091 self terminate |
2092 |
2092 |