Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- stop() {
- echo -n "Stopping Jobserver: "
- if [ -f $JOBSERVER_PATH/.jobserver.pid ]
- then
- CurPID=$(<$JOBSERVER_PATH/.jobserver.pid)
- kill -9 $CurPID
- rm $JOBSERVER_PATH/.jobserver.pid
- rm -r $JOBSERVER_PATH/.lockfile/
- echo $"Success"
- else
- echo $"Failed: Jobserver is not running"
- fi
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement