Merge branch 'serve-files' into 'master'

Serve files

See merge request larswirzenius/ewww!7

1 files changed, 7 insertions, 2 deletions

diff --git a/daemon.py b/daemon.py
index 33057bd..585fe5a 100644
--- a/daemon.py
+++ b/daemon.py
@@ -65,5 +65,10 @@ def process_exists(pid):
 
 
 # Terminate process.
-def terminate_process(pid, signal):
-    os.kill(pid, signal)
+def terminate_process(pid, signalno):
+    logging.debug(f"Terminating process {pid} with signal {signalno}")
+    try:
+        os.kill(pid, signalno)
+    except ProcessLookupError:
+        logging.debug("Process did not actually exist (anymore?)")
+        pass