Changeset 5598c8f in git

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

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);
     }