We use port 80 for the websocket to avoid firewall problems.