mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/plugins/profiler/ProfileViewer.java @@ -160,7 +160,7 @@ // If we should just display usage information, then print it and exit. if (displayUsage.isPresent()) if (argParser.usageDisplayed()) { System.exit(0); }