projects / oweals / gnunet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 854e1e4) | patch
-LRN: Fix kill
authorChristian Grothoff <christian@grothoff.org>
Sun, 11 Mar 2012 00:00:01 +0000 (00:00 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 11 Mar 2012 00:00:01 +0000 (00:00 +0000)
commit1cbe4adfa9e980a2ab70b36a726947ffffead06b
treede4616fe5d23f681bc6147bea00fe57ce3f47bc1tree | snapshot
parent854e1e4d0d1fcfa9812336ebfae76538a9197351commit | diff
-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().
src/util/os_priority.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.