Fix possible race condition

Delete PID_FILE as soon as possible to avoid the new creation
of the PID_FILE (which could happen if the process was started
by monit after first kill and sleep of 14 seconds).

web/restart.sh

@@ -33,10 +33,10 @@ if [ ! -f $PID_FILE ]; then
         kill $PID
         else
                 PID=$(cat $PID_FILE)
+                rm $PID_FILE
                 kill $PID
                 sleep 14
                 kill -9 $PID
-                rm $PID_FILE
 fi
 echo "Going to sleep for 11 seconds. Then lookup the process list for the repo name.
 If everything is fine, 'monit' is going to start the $REPO instance ..."