Add restart server command
This commit is contained in:
parent
4bb04bb921
commit
39eaeb2a33
|
@ -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
|
Loading…
Reference in New Issue