#
# 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_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}
command=$1; shift
;;
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
restart)
$0 stop
+ sleep 1 # let the OS give the port address free
$0 start "$@"
;;