diff --git a/mdserver.py b/mdserver.py index 0a03b1a92f2a448ada907b7c5b1fb06bb0aa7cf7..62c968b366d78c2a745bed4867de7fcd015007a4 100755 --- a/mdserver.py +++ b/mdserver.py @@ -60,6 +60,7 @@ def sign(eid): def read_metadata(signum, frm): + print("\n--- SIGHUP ---") global idps, signed found = 0 removed = 0