Mercurial Hosting > hghosting

annotate stop.sh @ 17:3e8c7d089e30 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
URL update
author Vadim Filimonov <fffilimonov@yandex.ru>
date Mon, 02 Oct 2023 12:23:02 +0300
parents dfc36e7ed22c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
1 #!/bin/bash
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
2
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 . common.sh;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 sudo /usr/local/bin/nginx -s stop;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
7 if [ -f ${hgservepid} ]; then
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
8 kill -2 `cat ${hgservepid}`;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
9 rm ${hgservepid};
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
10 fi;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
11
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
12 LUAN_PIDS=$(ps ax | awk '{if($0~"[s]erve.luan"){print $1}}');
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
13 kill -TERM $LUAN_PIDS;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
14 exit 0;