From 70126c6be72ae0322d1e139cc327d4077c0490b7 Mon Sep 17 00:00:00 2001 From: opi Date: Tue, 5 Jul 2016 12:49:44 +0200 Subject: [PATCH] Remove searx user before restart uwsgi service. --- scripts/remove | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/scripts/remove b/scripts/remove index be6b2fe..aa07d71 100644 --- a/scripts/remove +++ b/scripts/remove @@ -13,14 +13,17 @@ sudo rm -f /etc/uwsgi/apps-enabled/$app.ini sudo rm -f /etc/uwsgi/apps-available/$app.ini sudo rm -f /etc/nginx/conf.d/$domain.d/$app.conf -# Remove services +# Stop uwsgi sudo service uwsgi stop sudo killall uwsgi -sudo service uwsgi start # Remove user if id -u searx > /dev/null 2>&1; then sudo userdel searx fi + +# Restart uwsgi +sudo service uwsgi start + # Reload Nginx sudo service nginx reload