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

jvergara
01.11.2009 7782bbfd46380d9cc0e2d20f3df54acc1269ebd4
opends/resource/bin/stop-ds
@@ -164,7 +164,7 @@
    EXIT_CODE=${?}
    if test ${EXIT_CODE} -eq 0
    then
      "${OPENDS_JAVA_BIN}" -Xms8M -Xmx8M org.opends.server.tools.WaitForFileDelete \
      "${OPENDS_JAVA_BIN}" org.opends.server.tools.WaitForFileDelete \
        --targetFile "${INSTANCE_ROOT}/logs/server.pid" \
        --logFile "${INSTANCE_ROOT}/logs/errors"
      EXIT_CODE=${?}