Web editor with new websocket syntax