X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=src%2Fpazpar2.sh;h=8debb42542abb2f2276f6d41953a93c7a2d4ce42;hb=5d292b54354dd975b1a9511c3222bdffdf18de38;hp=baa8c177afcbe09a5b91f9cbdae73e89b6679f94;hpb=5203952cbc186c3d648340759cde5177b24a1191;p=pazpar2-moved-to-github.git

diff --git a/src/pazpar2.sh b/src/pazpar2.sh
index baa8c17..8debb42 100755
--- a/src/pazpar2.sh
+++ b/src/pazpar2.sh
@@ -3,10 +3,10 @@
 # pazpar2.sh - pazpar2 start/stop script
 
 : ${PAZPAR2_HOME=$HOME/pazpar2}
-pazpar2_program=$PAZPAR2_HOME/src/pazpar2
-pazpar2_config=$PAZPAR2_HOME/etc/pazpar2.cfg
-pazpar2_pid=$PAZPAR2_HOME/pazpar2.pid
-pazpar2_log=$PAZPAR2_HOME/pazpar2.log
+: ${pazpar2_program=$PAZPAR2_HOME/src/pazpar2}
+: ${pazpar2_config=$PAZPAR2_HOME/etc/pazpar2.cfg}
+: ${pazpar2_pid=$PAZPAR2_HOME/pazpar2.pid}
+: ${pazpar2_log=$PAZPAR2_HOME/pazpar2.log}
 
 command=$1; shift
 
@@ -16,7 +16,9 @@ case "$command" in
         	;;
 
 	stop) 
-		test -f $pazpar2_pid && kill `cat $pazpar2_pid`
+		test -f $pazpar2_pid && \
+			kill -0 `cat $pazpar2_pid` 2>/dev/null && \
+			kill -TERM `cat $pazpar2_pid`
         	;;
 
 	# graceful restart - not yet implemented by pazpar2
@@ -26,6 +28,7 @@ case "$command" in
 
 	restart)
 		$0 stop
+		sleep 1 	# let the OS give the port address free
 		$0 start "$@"
 		;;