I just made a new C name for our server, xxx.lib.xxx.edu. I currently have our server named xxx.xxx.xxx.edu. I don’‘t see a place in the Admin Console to change the server name. What’'s the best way to go about doing this?
Under Server Settings, click Edit Properties
Change Server name to your alias (I did the same thing you are doing)
Now the tricky part!
If you are using SSL for your Admin or clients - you need to generate a new certificate with the same name as your alias.
There is another thread that describes how to do that in detail.