| 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 |