From 5ecc36b80eefe60b5e6e9c6d348b60f4319a869d Mon Sep 17 00:00:00 2001
From: Winston Li <winston.li12@imperial.ac.uk>
Date: Sat, 21 Feb 2015 01:24:10 +0000
Subject: [PATCH] Modify init script to use start-stop-daemon for stopping.

---
 services/git-bridge/bin/wlgb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/services/git-bridge/bin/wlgb b/services/git-bridge/bin/wlgb
index 885e39dfed..4587a36113 100755
--- a/services/git-bridge/bin/wlgb
+++ b/services/git-bridge/bin/wlgb
@@ -75,7 +75,7 @@ do_stop()
 {
 	if [ -f "$PIDFILE" ]; then
 		echo "Stopping Writelatex-Git Bridge..."
-		kill -9 `cat $PIDFILE`
+		start-stop-daemon --stop --quiet --retry=TERM/60/KILL/5 --pidfile $PIDFILE --name $NAME
 		# Many daemons don't delete their pidfiles when they exit.
 		rm -f $PIDFILE
 		echo "WriteLatex-Git Bridge stopped."