The websocket server now listens on two ports, one with the websocket protocol, one without