Pulled from Debian bug #292170:
authornbk <nbk>
Mon, 14 Mar 2005 10:01:51 +0000 (10:01 +0000)
committernbk <nbk>
Mon, 14 Mar 2005 10:01:51 +0000 (10:01 +0000)
Make init script return 1 if reloading kills the server

debian/freeradius.init

index 6574dbe..3804e7e 100755 (executable)
@@ -32,6 +32,8 @@ restart) echo -n "Restarting $descr: "
 reload|force-reload) 
                echo -n "Reloading configuration files for $descr"
                start-stop-daemon --stop --signal 1 --quiet --pidfile $pidfile
+               sleep 2
+               ps --pid $(cat $pidfile) > /dev/null || exit 1
         echo "."
         ;;
 *)     echo "Usage: /etc/init.d/freeradius start|stop|restart|reload|force-reload"