diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-01-30 19:55:51 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-01-30 19:55:51 +0100 |
| commit | 6274a54746b4444f8850aecea0cb0734c6bdc29c (patch) | |
| tree | 7454d0d02902dfda7ea94b45ae84bc342c427aab /utils/searx.sh | |
| parent | 924bf6551794e5962688c1e2962dc0c94869e2f1 (diff) | |
utils/searx.sh & filtron.sh: misc changes from first tests (WIP)
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'utils/searx.sh')
| -rwxr-xr-x | utils/searx.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/searx.sh b/utils/searx.sh index a352c0439..b036541cf 100755 --- a/utils/searx.sh +++ b/utils/searx.sh @@ -275,6 +275,9 @@ installations that were installed with this script." remove_searx_uwsgi wait_key remove_user + if service_is_available "${PUBLIC_URL}"; then + MSG="** Don't forgett to remove your public site! (${PUBLIC_URL}) **" wait_key 10 + fi } user_is_available() { |