Added missing step in server shutdown (in server.dot)