diff options
Diffstat (limited to 'bin/devel/stop')
-rwxr-xr-x | bin/devel/stop | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/devel/stop b/bin/devel/stop new file mode 100755 index 0000000..e2f7858 --- /dev/null +++ b/bin/devel/stop @@ -0,0 +1,6 @@ +#!/usr/bin/env bash +srcdir="$(dirname "$(dirname "$(dirname "$(readlink -f "$0")")")")" +PATH=${srcdir}/bin:$PATH + +kill $(<"${srcdir}/tmp/pids/server.pid") +delayed_job stop |