[Update] server: manual interruption support

sebastien · Sep 13, 2024 · 8628e39 · 8628e39
1 parent f5e333a
commit 8628e39
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/src/py/extra/server.py b/src/py/extra/server.py
@@ -362,7 +362,11 @@ def run(
         host=host, port=port, backlog=backlog, condition=condition, timeout=timeout
     )
     app = mount(*components)
-    asyncio.run(AIOSocketServer.Serve(app, options))
+    try:
+        asyncio.run(AIOSocketServer.Serve(app, options))
+    except KeyboardInterrupt:
+        event("ManualShutdown")
+    event("EOK")
 
 
 # EOF
diff --git a/src/py/extra/utils/logging.py b/src/py/extra/utils/logging.py
@@ -213,7 +213,7 @@ def error(
 
 def event(
     event: str,
-    value: Any,
+    value: Any = None,
     *,
     origin: str | None = None,
     at: float | None = None,
@@ -235,7 +235,7 @@ def event(
 
 def notify(
     name: str,
-    value: Any,
+    value: Any = None,
     *,
     origin: str | None = None,
     at: float | None = None,