Delete user only if exists.

2016-07-05 12:25:33 +02:00 · 2016-07-05 12:25:33 +02:00 · e3de44b71d
parent 991873d35b
commit e3de44b71d
1 changed files with 3 additions and 2 deletions
--- a/scripts/remove
+++ b/scripts/remove
@ -19,7 +19,8 @@ sudo killall uwsgi
 sudo service uwsgi start

 # Remove user
+if id -u searx > /dev/null 2>&1; then
    sudo userdel searx
-
+fi
 # Reload Nginx
 sudo service nginx reload