From: garciadeblas Date: Thu, 20 Apr 2023 08:04:55 +0000 (+0200) Subject: Add nohup to http.server in tools/local-build.sh X-Git-Tag: release-v14.0-start~83 X-Git-Url: https://osm.etsi.org/gitweb/?a=commitdiff_plain;h=refs%2Fchanges%2F45%2F13245%2F1;p=osm%2Fdevops.git Add nohup to http.server in tools/local-build.sh Change-Id: Ic21b33c22c069d6145ba9d60c7e3cebb75f99664 Signed-off-by: garciadeblas --- 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() {