Softened code: the HTTP server's port.