| Robert R Evans | 76ed68d | 2010-10-02 12:29:17 -0700 | [diff] [blame^] | 1 | #!/bin/bash |
| 2 | |
| Robert R Evans | 9c7cd9a | 2010-10-02 11:55:34 -0700 | [diff] [blame] | 3 | function nginx_reload() { |
| 4 | FILE="${NGINX_PATH}/logs/nginx.pid" |
| 5 | if [ -e $FILE ]; then |
| 6 | echo "Reloading NGINX..." |
| 7 | PID=`cat $NGINX_PATH/logs/nginx.pid` |
| 8 | sudo kill -HUP $PID |
| 9 | else |
| 10 | echo "Nginx pid file not found" |
| 11 | return 0 |
| 12 | fi |
| 13 | } |
| 14 | |
| 15 | function nginx_stop() { |
| 16 | FILE="${NGINX_PATH}/logs/nginx.pid" |
| 17 | if [ -e $FILE ]; then |
| 18 | echo "Stopping NGINX..." |
| 19 | PID=`cat $NGINX_PATH/logs/nginx.pid` |
| 20 | sudo kill -INT $PID |
| 21 | else |
| 22 | echo "Nginx pid file not found" |
| 23 | return 0 |
| 24 | fi |
| 25 | } |
| 26 | |
| 27 | function nginx_start() { |
| 28 | FILE="${NGINX_PATH}/sbin/nginx" |
| 29 | if [ -e $FILE ]; then |
| 30 | echo "Starting NGINX..." |
| 31 | sudo $NGINX_PATH/sbin/nginx |
| 32 | else |
| 33 | echo "Couldn't start nginx" |
| 34 | fi |
| 35 | } |
| 36 | |
| 37 | function nginx_restart() { |
| 38 | FILE="${NGINX_PATH}/logs/nginx.pid" |
| 39 | if [ -e $FILE ]; then |
| 40 | echo "Stopping NGINX..." |
| 41 | PID=`cat $NGINX_PATH/logs/nginx.pid` |
| 42 | sudo kill -INT $PID |
| 43 | sleep 1 |
| 44 | echo "Starting NGINX..." |
| 45 | sudo $NGINX_PATH/sbin/nginx |
| 46 | else |
| 47 | echo "Nginx pid file not found" |
| 48 | return 0 |
| 49 | fi |
| 50 | } |