diff --git a/dockerfiles/run-gui-tests.sh b/dockerfiles/run-gui-tests.sh index 2c1963342..133368fe2 100755 --- a/dockerfiles/run-gui-tests.sh +++ b/dockerfiles/run-gui-tests.sh @@ -38,4 +38,5 @@ SERVER_PID=$! # status="docker run . -v `pwd`:/build/out:ro gui_tests" docker compose run gui_tests status=$? +kill $SERVER_PID exit $status diff --git a/templates/header/topbar_end.html b/templates/header/topbar_end.html index 92b7cfa4e..d7bea1dbc 100644 --- a/templates/header/topbar_end.html +++ b/templates/header/topbar_end.html @@ -6,9 +6,9 @@
+