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


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


        out.println();


      }




      return 1;


      return 0;


    }