--- a/OSProcess.st	Fri Dec 06 06:16:14 2019 +0100
+++ b/OSProcess.st	Fri Dec 06 09:30:46 2019 +0100
@@ -1152,7 +1152,8 @@
     
     pid notNil ifTrue:[
         OperatingSystem killProcess:pid.
-        self releasePid.    
+        "do not release the pid here. The release is done,
+         after the process reported its termination!!"
     ].
 !
 
@@ -1163,7 +1164,8 @@
         OperatingSystem 
             killProcessGroup:pid;
             killProcess:pid.
-        self releasePid.    
+        "do not release the pid here. The release is done,
+         after the process reported its termination!!"
     ].
 !
 
@@ -1172,7 +1174,8 @@
 
     pid notNil ifTrue:[
         OperatingSystem terminateProcess:pid.
-        self releasePid.    
+        "do not release the pid here. The release is done,
+         after the process reported its termination!!"
     ].
 !
 
@@ -1185,7 +1188,8 @@
         OperatingSystem 
             terminateProcess:pid;
             terminateProcessGroup:pid.
-        self releasePid.    
+        "do not release the pid here. The release is done,
+         after the process reported its termination!!"
     ].
 
     "Modified (comment): / 23-02-2017 / 10:50:13 / Maren"