Tweak server disconnect logic to ensure vessels in-use status is reliably cleared when a user disconnects & reconnects quickly
Fixes #455 (I think--will need some testing yet)