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

Ludovic Poitou
17.32.2015 4b6eae2b88b5a5abc3bc7bcee205ecf033675a0f
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ControlPanelLauncher.java
@@ -100,6 +100,7 @@
    // then print it and exit.
    if (argParser.usageOrVersionDisplayed())
    {
      ControlPanelLog.closeAndDeleteLogFile();
      System.exit(ErrorReturnCode.SUCCESSFUL_NOP.getReturnCode());
    }
@@ -143,6 +144,7 @@
        System.exit(exitCode);
      }
    }
    ControlPanelLog.closeAndDeleteLogFile();
  }
  /**