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

jvergara
18.09.2008 8bf33f942c9509fdf72c3edadd9ff1fbffa2f10d
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/RestorePanel.java
@@ -450,6 +450,7 @@
      {
        args.addAll(getConfigCommandLineArguments());
      }
      args.add(getNoPropertiesFileArgument());
      return args;
    }