#!/bin/bash

set -e
. nginx_common.sh

NGINX_PID_FILE="$NGINX_PID_DIR/nginx.pid"

# if file exists and is non empty
if [ -s "$NGINX_PID_FILE" ]; then
	sudo nginx -c $NGINX_ROOT_CONFIG_FILE -s stop
else
	echo "PID file empty or non existent, doing nothing."
fi
