GET_SERVER_NAME returns the currently stored server name, if available. The server name is a quoted ASCII string and cannot be a network name. For example:
<SERVER_NAME VALUE="Linux Development Host" />
