pull/332/head
Piero Toffanin 2017-11-17 15:56:18 -05:00
rodzic 8cecfac319
commit 204cade393
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -23,7 +23,7 @@ fi
# Stop nginx if needed (free the port used by the standalone server)
nginx_was_running="NO"
pgrep nginx
if [ $? -eq 0]; then
if [ $? -eq 0 ]; then
killall nginx
nginx_was_running="YES"
fi