4 # "restart-dns-server <path-to-restart.txt>" (restart now if needed)
6 # "restart-dns-server <path-to-restart.txt> -d" (wait for restart to be needed, restart, repeat)
10 if [[ "$RESTART_TXT_PATH" == "" ]]; then
13 echo " $0 <path-to-restart.txt> # restart now if needed"
14 echo " $0 <path-to-restart.txt> -d # wait for restart to be needed, restart, repeat"
21 if [ -e $RESTART_TXT_PATH ]; then
22 RESTART_COMMAND=`cat $RESTART_TXT_PATH`
23 echo "restart command: $RESTART_COMMAND"
24 rm -f "$RESTART_TXT_PATH"