Cleanup of websocket stuff (server- and client-side)