collect the pid of the server on startup, and kill it on shutdown

3 years ago · 428150e81f
parent 7bdb1712b9
commit 428150e81f
1 changed files with 2 additions and 1 deletions
--- a/rundemo.sh
+++ b/rundemo.sh
@ -2,5 +2,6 @@

 python3 -m pip install pipenv
 pipenv run ./install.sh
-pipenv run python3 app/simple.py &
+pipenv run python3 app/simple.py & PID=$!
 pipenv run python3 -m pytest tests/test_hov.py --verbose --show-capture=all
+kill -9 $PID