From e3de44b71d51608948cf04bd4e547f9a90841afd Mon Sep 17 00:00:00 2001
From: opi <opi@zeropi.net>
Date: Tue, 5 Jul 2016 12:25:33 +0200
Subject: [PATCH] Delete user only if exists.

---
 scripts/remove | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/remove b/scripts/remove
index ea945ee..be6b2fe 100644
--- a/scripts/remove
+++ b/scripts/remove
@@ -19,7 +19,8 @@ sudo killall uwsgi
 sudo service uwsgi start
 
 # Remove user
-sudo userdel searx
-
+if id -u searx > /dev/null 2>&1; then
+    sudo userdel searx
+fi
 # Reload Nginx
 sudo service nginx reload