Run on port 8080

Run the HTTP server on port 8080.