server bugfix: deal with when everyone disconnects