OK, it took a while to figure out after the 11SP1(a) install that our server was up - sort of.

Because the standard ports were in use, the server was originally installed (under v10.3) to use ports 1080, 10443, 18009. The updated server now appears to be listening on 80 and 443. This is probably going to cause problems for existing clients.

Firewall exceptions for all the original ports seem to still be there.

I can't find a way alter this through the web configuration. I assume it's in a config file on the server--or is there a script to redo those initial settings?