We have a server that was successfully federated with our Portal site, but it appears to have been done incorrectly (even though it did federate - validation gives strong warnings). So we need to update the URL of the federated server in Portal.
Basically, we federated it like so:
https://server.domain/arcgis/rest/services
BUT - that leads to some weird URLs for services published there - they end up with an extra /rest/services/ in the URL.
So we need to modify the properties of the federated server in Portal to not have the /rest/services
I cannot find anywhere in the Portal settings GUI or PortalAdmin pages to do this.
Thanks -
Allen