Pim van Pelt d8ad89d115 When the server exits (^C or because docker/systemd exits it), streaming gRPC clients must be ...

closed. Currently, the server does not exit until the gRPC client disconnects.

2026-04-11 02:18:44 +02:00

..

maglevd

When the server exits (^C or because docker/systemd exits it), streaming gRPC clients must be

2026-04-11 02:18:44 +02:00