Kill server once done running GUI test

GuillaumeGomez · GuillaumeGomez · commit a4d329d3e4c9 · 2025-05-17T10:38:57.000+02:00
diff --git 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
