Was dropping WebSocketServer.Terminate intentional?