changed websocket server to port 80 (was 8000)