Server no longer crashes on disconnection.