Fixes bug #8509

-- "When a client disconnects, the other clients don't get informed."