Changeset 5598c8f in git

Timestamp:

May 18, 2011, 1:17:42 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

187af9a23693c439bf2d6ec8cc710c2ab64fb654

Parents:

aab0bf3d4a3784735075a5752e502e6079f5a741

Message:

use kill -9 for security

git-svn-id: file:///usr/local/Singular/svn/trunk@14226 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/ssiLink.cc (modified) (1 diff)

Singular/ssiLink.cc

@@ -1018 +1018 @@
     {
       kill(d->pid,15);
+      waitpid(d->pid,NULL,WNOHANG);
+      kill(d->pid,9); // just to be sure
       waitpid(d->pid,NULL,WNOHANG);
     }