commit 0ee672c2d587fe0443998106cf4bdbd36028da9f parent 072ff182b614a4a41d1642ad8024ae7cb145d2f9 Author: Christoph Lohmann <20h@r-36.net> Date: Wed, 23 Mar 2011 17:42:17 +0100 Fixing the pingd spurious kill. Diffstat:
| etc/conn/common.sh | | | 7 | +++++-- |
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/etc/conn/common.sh b/etc/conn/common.sh @@ -153,8 +153,11 @@ startpingd() { } stoppingd() { - /bin/kill -KILL `cat $PINGPID.$1` - rm $PINGPID.$1 + if [ -e $PINGPID.$1 ]; + then + /bin/kill -KILL `cat $PINGPID.$1` + rm $PINGPID.$1 + fi } getinterface() {