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 |