comparison: templates/bin/stopserv.template
templates/bin/stopserv.template
- changeset 179
- ef6827505bd2
- parent 175
- 9823770ba4ee
equal
deleted
inserted
replaced
| 174:8f2a834d1d68 | 179:ef6827505bd2 |
|---|---|
| 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 -TERM $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 shutdown |
