Port 80>8001

Changed websocket port to avoid administration problems