release

fun release(playerId: UUID)(source)

Drops the player's queue once they can no longer send anything.

Anything still pending is abandoned rather than delivered: it was addressed to or sent by a player who has left, so finishing it would spend a conversion round trip per item to write to nobody, while holding both players alive until the backlog drained.