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

neil_a_wilson
25.00.2007 4700a31d399d3e3fe5594cce350744ea71ede5ee
opends/resource/bin/stop-ds
@@ -189,6 +189,10 @@
        STOPPED=0
      fi
    fi
  else
    echo "ERROR:  Unable to find the server.pid file to determine the process"
    echo "        ID of the OpenDS process to terminate."
    exit 1
  fi
fi