[Update] server: manual interruption support

Author: sebastien

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

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,