diff --git a/restart-server.sh b/restart-server.sh new file mode 100755 index 0000000..32deda7 --- /dev/null +++ b/restart-server.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +kill `cat /tmp/main-server-pid` +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" +$DIR/main-server