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

ludovicp
28.59.2010 f6f03b55f145dcc8fd8e8d102430f00d8f76770c
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8776,7 +8776,7 @@
  public static void printVersion(OutputStream outputStream)
  throws IOException
  {
    outputStream.write(getBytes(PRINTABLE_VERSION_STRING));
    outputStream.write(PRINTABLE_VERSION_STRING.getBytes());
    // Print extensions' extra information
    String extensionInformation =