code: protected void setServerName(String serverName) {
  
          m_serverName = serverName;
          if (CmsLog.INIT.isInfoEnabled()) {
              CmsLog.INIT.info(Messages.get().getBundle().key(Messages.LOG_SET_SERVERNAME_1, m_serverName));
          }
      }
docs: Sets the server name.<p>
  
  The server name is set in <code>opencms.properties</code>.
  It is not related to any DNS name the server might also have.
  The server name is useful e.g. in a cluster to distinguish different servers,
  or if you compare log files from multiple servers.<p>
  
  @param serverName the server name to set