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

neil_a_wilson
05.46.2007 8f5c232ab629b7aa83c5a1d4eff9648874a0c9ca
opends/src/server/org/opends/server/tools/WaitForFileDelete.java
@@ -96,7 +96,7 @@
      int exitCode = mainWait(args);
      if (exitCode != EXIT_CODE_SUCCESS)
      {
        System.exit(exitCode);
        System.exit(filterExitCode(exitCode));
      }
    }
    catch (Exception e)