mirror of
https://github.com/juanfont/headscale.git
synced 2026-10-27 08:46:49 +09:00
It fills PeersRemoved without deleting anything. The batcher now tears down the session behind every removed id, so a caller would kill a live poll. Updates #3410