mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: efb7c784 | patch | commit | ignore whitespace
lutoff
29.40.2009 c58692846e48da12c88129b63f1b58ee0bf9f8dc 
Fix for issue #4203
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/RestoreDB.java 2 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opends/src/server/org/opends/server/tools/RestoreDB.java


@@ -563,7 +563,7 @@


        out.println();


      }




      return 1;


      return 0;


    }