Switching simple push server to port 8000.