templates/bin/reconfig.template

branch
srvctrl
changeset 175
9823770ba4ee
parent 61
c858850f3d3a
equal deleted inserted replaced
173:63b8d52db390 175:9823770ba4ee
1 #!/bin/sh 1 #!/bin/sh
2 2
3 PID=`cat /tmp/webserver-rw6pgl8b/pid` 3 #
4 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
5 #
6 # Copyright 2017 Olaf Wintermann. All rights reserved.
7 #
8 # Redistribution and use in source and binary forms, with or without
9 # modification, are permitted provided that the following conditions are met:
10 #
11 # 1. Redistributions of source code must retain the above copyright
12 # notice, this list of conditions and the following disclaimer.
13 #
14 # 2. Redistributions in binary form must reproduce the above copyright
15 # notice, this list of conditions and the following disclaimer in the
16 # documentation and/or other materials provided with the distribution.
17 #
18 # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 # AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 # ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
22 # LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 # POSSIBILITY OF SUCH DAMAGE.
29 #
4 30
5 kill -USR1 $PID 31 WS_INSTALL_DIR=%%WS_INSTALL_DIR%%
6 32
33 cd $WS_INSTALL_DIR
34
35 WS_TMP_DIR=`bin/wstool -t config/server.conf`
36 if [ $? -ne 0 ]; then
37 exit 1
38 fi
39
40 WS_PID=`cat $WS_TMP_DIR/pid 2> /dev/null`
41 if [ $? -ne 0 ]; then
42 echo "cannot get server pid"
43 exit 1
44 fi
45 if [ -z $WS_PID ]; then
46 echo "cannot get server pid"
47 exit 1
48 fi
49
50 kill -0 $WS_PID 2> /dev/null
51 if [ $? -ne 0 ]; then
52 echo "server not running"
53 exit 1
54 fi
55
56 bin/wstool -s $WS_TMP_DIR/private/srvctrl.sock reconfig
57

mercurial