mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5dadea18 | patch | commit | show whitespace
Fabio Pistolesi
25.43.2015 e84042c0686d88a026b7c7c116090bcf3bcad30c 
Fix checkstyle
1 files modified
3 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/tools/VerifyIndex.java 3 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/tools/VerifyIndex.java


@@ -435,7 +435,8 @@


      }


      catch (Exception e)


      {


        printWrappedText(err, WARN_VERIFYINDEX_CANNOT_UNLOCK_BACKEND.get(backend.getBackendID(), getExceptionMessage(e)));


        printWrappedText(err,


            WARN_VERIFYINDEX_CANNOT_UNLOCK_BACKEND.get(backend.getBackendID(), getExceptionMessage(e)));


      }


    }


  }