Pim van Pelt 56a4a6ba25 Some output tweaks; and some additional transition events upon resume (paused->unknown->{up|down})

2026-04-11 03:04:47 +02:00

..

maglevc

Some output tweaks; and some additional transition events upon resume (paused->unknown->{up|down})

2026-04-11 03:04:47 +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