summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmanage20
1 files changed, 12 insertions, 8 deletions
diff --git a/manage b/manage
index 9f99ad4fa..3f367268b 100755
--- a/manage
+++ b/manage
@@ -121,14 +121,18 @@ fi
export DOCS_BUILD
webapp.run() {
- SEARXNG_DEBUG=1 pyenv.cmd python -m searx.webapp &
- sleep 3
- if [ "${LIVE_THEME}" ]; then
- themes.live "${LIVE_THEME}" &
- fi
- xdg-open http://127.0.0.1:8888/
- wait -n
- kill 0
+ local parent_proc="$$"
+ (
+ if [ "${LIVE_THEME}" ]; then
+ ( themes.live "${LIVE_THEME}" )
+ kill $parent_proc
+ fi
+ )&
+ (
+ sleep 3
+ xdg-open http://127.0.0.1:8888/
+ )&
+ SEARXNG_DEBUG=1 pyenv.cmd python -m searx.webapp
}
buildenv() {