diff --git a/files/nodepool.init b/files/nodepool.init index 3d8d729..4c6815a 100755 --- a/files/nodepool.init +++ b/files/nodepool.init @@ -79,6 +79,9 @@ do_stop() do_graceful_stop() { PID=`cat $PIDFILE` + kill -INT $PID + # Old nodepoold used USR1 + # New nodepoold ignores it while INT is being handled kill -USR1 $PID # wait until really stopped