diff stop.sh @ 0:dfc36e7ed22c

init
author Vadim Filimonov <fffilimonov@yandex.ru>
date Thu, 12 May 2022 13:51:59 +0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/stop.sh	Thu May 12 13:51:59 2022 +0400
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+. common.sh;
+
+sudo /usr/local/bin/nginx -s stop;
+
+if [ -f ${hgservepid} ]; then
+    kill -2 `cat ${hgservepid}`;
+    rm ${hgservepid};
+fi;
+
+LUAN_PIDS=$(ps ax | awk '{if($0~"[s]erve.luan"){print $1}}');
+kill -TERM $LUAN_PIDS;
+exit 0;