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

neil_a_wilson
05.46.2007 0cface06cb625924a2ef8ce3efde5d78810a3c24
opendj-sdk/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)