From 63868ab3519bd2ab56e7da695e3e661ac877e9d8 Mon Sep 17 00:00:00 2001 From: garciadeblas Date: Thu, 20 Apr 2023 10:04:55 +0200 Subject: [PATCH] Add nohup to http.server in tools/local-build.sh Change-Id: Ic21b33c22c069d6145ba9d60c7e3cebb75f99664 Signed-off-by: garciadeblas --- tools/local-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/local-build.sh b/tools/local-build.sh index 7d2ec619..829649d2 100755 --- a/tools/local-build.sh +++ b/tools/local-build.sh @@ -186,7 +186,7 @@ function run_httpserver() { if [ ! -z $EXISTING_PID ] ; then kill $EXISTING_PID fi - python3 -m http.server ${HTTPPORT} --directory "${HTTPDDIR}" &>/dev/null & + nohup python3 -m http.server ${HTTPPORT} --directory "${HTTPDDIR}" &>/dev/null & } function stage_2() { -- 2.25.1