summaryrefslogtreecommitdiff
path: root/tools/bin/restart-pid
diff options
context:
space:
mode:
authorBen Longbons <b.r.longbons@gmail.com>2012-12-07 20:09:46 -0800
committerBen Longbons <b.r.longbons@gmail.com>2012-12-07 20:09:46 -0800
commit14ad8654cc1f6050d6e6af42dcc300b8bf07acb5 (patch)
tree306cd708d3a62884a14bd6b32a39d631284f641c /tools/bin/restart-pid
parent212d482887e98c534bbf86b43b4defd4e03ca632 (diff)
downloadserverdata-14ad8654cc1f6050d6e6af42dcc300b8bf07acb5.tar.gz
serverdata-14ad8654cc1f6050d6e6af42dcc300b8bf07acb5.tar.bz2
serverdata-14ad8654cc1f6050d6e6af42dcc300b8bf07acb5.tar.xz
serverdata-14ad8654cc1f6050d6e6af42dcc300b8bf07acb5.zip
Add restart scripts as used on the test server.
Diffstat (limited to 'tools/bin/restart-pid')
-rwxr-xr-xtools/bin/restart-pid44
1 files changed, 44 insertions, 0 deletions
diff --git a/tools/bin/restart-pid b/tools/bin/restart-pid
new file mode 100755
index 00000000..498bdcc4
--- /dev/null
+++ b/tools/bin/restart-pid
@@ -0,0 +1,44 @@
+#!/bin/bash -e
+# do nasty work here
+# The job of this script is twofold:
+# 1. kill the existing server, if it exists
+# 2. write the PID file and start the new server
+
+source restart-config
+
+PROCESS=$1
+
+if test -f $PROCESS.pid
+then
+ # if the process ID may change its name (e.g. via exec),
+ # then remove '$PROCESS' on the following line
+ PID=$(pgrep $PROCESS -u $UID -F $PROCESS.pid || true)
+ if test -n "$PID"
+ then
+ kill $PID
+ echo waiting for $PID to die so I can restart $PROCESS
+ while
+ ! kill -s 0 $PID
+ do
+ echo -n .
+ sleep 1
+ done
+ # This shouldn't be necessary, but somehow is
+ sleep 2
+ echo
+ else
+ echo $PROCESS.pid does not point to a valid process - nothing killed
+ fi
+else
+ echo No PID file $PROCESS.pid found - nothing killed
+fi
+
+if test -z "$VERBOSE"
+then
+ exec >/dev/null 2>&1
+fi
+
+{
+ # $$ is not reset in subshells
+ exec sh -c 'echo $$ > '$PROCESS'.pid; exec ./'$PROCESS
+} &