Rename webserver to websocket server