mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

ludovicp
30.40.2010 4ac4b275bdde78a84b8330e421ce54b11e981049
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -1576,6 +1576,14 @@
      {
        serverStartingFile.delete();
      }
      // If a host name file exists, then remove it.
      File hostNameFile = new File(configHandler.getInstanceRoot() +
          File.separator + SetupUtils.HOST_NAME_FILE);
      if (hostNameFile.exists())
      {
        hostNameFile.delete();
      }
    }
  }