diff options
author | Christian Grothoff <christian@grothoff.org> | 2012-03-11 00:00:01 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2012-03-11 00:00:01 +0000 |
commit | 1cbe4adfa9e980a2ab70b36a726947ffffead06b (patch) | |
tree | de4616fe5d23f681bc6147bea00fe57ce3f47bc1 /src/integration-tests/gnunet_testing.py.in | |
parent | 854e1e4d0d1fcfa9812336ebfae76538a9197351 (diff) | |
download | gnunet-1cbe4adfa9e980a2ab70b36a726947ffffead06b.tar.gz gnunet-1cbe4adfa9e980a2ab70b36a726947ffffead06b.zip |
-LRN: Fix kill
Use the same code for killing processes without a control pipe AND
the processes for which a control pipe write has failed.
Use PLIBC_KILL() instead of kill().
Diffstat (limited to 'src/integration-tests/gnunet_testing.py.in')
0 files changed, 0 insertions, 0 deletions