diff --git a/src/server.py b/src/server.py index c156f21..56e7817 100644 --- a/src/server.py +++ b/src/server.py @@ -460,6 +460,7 @@ async def serve(host: str = "0.0.0.0", port: int = 50052): await server.start() # wait forever await server.wait_for_termination() + await manager.shutdown() # ============================================================================