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

Yannick Lecaillez
21.42.2015 f7fe6c1339f1a7da5723036cbae27ab74e13a9a2
opendj-server-legacy/src/main/java/org/opends/server/tools/VerifyIndex.java
@@ -460,6 +460,12 @@
        }
      }
    }
    catch (InitializationException e)
    {
      err.println(wrapText(ERR_VERIFYINDEX_ERROR_DURING_VERIFY.get(e.getMessage()),
          MAX_LINE_WIDTH));
      returnCode = 1;
    }
    catch (Exception e)
    {
      err.println(wrapText(ERR_VERIFYINDEX_ERROR_DURING_VERIFY.get(stackTraceToSingleLineString(e)),