From 428150e81f03a4a91e94ea5c564de400d106e6f2 Mon Sep 17 00:00:00 2001
From: Greg Gauthier <greg@gmgauthier.com>
Date: Sat, 10 Oct 2020 18:00:00 +0100
Subject: [PATCH] collect the pid of the server on startup, and kill it on
 shutdown

---
 rundemo.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rundemo.sh b/rundemo.sh
index 5be9e60..2d5754c 100755
--- 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