Advertisement
Guest User

COsmin

a guest
Jul 24th, 2014
197
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.42 KB | None | 0 0
  1. stop() {
  2.         echo -n "Stopping Jobserver: "
  3.         if [ -f $JOBSERVER_PATH/.jobserver.pid ]
  4.         then
  5.                 CurPID=$(<$JOBSERVER_PATH/.jobserver.pid)
  6.                 kill -9 $CurPID
  7.                 rm $JOBSERVER_PATH/.jobserver.pid
  8.                 rm -r $JOBSERVER_PATH/.lockfile/
  9.                 echo $"Success"
  10.         else
  11.                 echo $"Failed: Jobserver is not running"
  12.         fi
  13. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement