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

jpikus
20.40.2009 39939cbeb2965312e1fee64c4cbf824b37ea857c
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -9942,6 +9942,7 @@
                     new DecimalFormat("000").format(BUILD_NUMBER));
    }
    System.out.println(SetupUtils.REVISION_NUMBER+separator+REVISION_NUMBER);
    System.out.println(SetupUtils.URL_REPOSITORY+separator+URL_REPOSITORY);
    System.out.println(SetupUtils.FIX_IDS+separator+FIX_IDS);
    System.out.println(SetupUtils.DEBUG_BUILD+separator+DEBUG_BUILD);
    System.out.println(SetupUtils.BUILD_OS+separator+BUILD_OS);