Destroy choked sessions before pump().

Queue pumps can be potentially heavy, so that a choked session will be
dangling for far too long.
Codestyle.