Use just the resource name to identify the portal server.