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

neil_a_wilson
30.55.2007 392507d50513a3b16f184ff6603070a4d3969555
opends/resource/bin/stop-ds
@@ -132,6 +132,7 @@
EXIT_CODE=1
MUST_START_USING_SYSTEM_CALL=1
MUST_STOP_USING_SYSTEM_CALL=1
QUIET_MODE=1
if test ${EC} -eq 98
#
@@ -140,13 +141,17 @@
then
  STOPPED=0
else
  if test ${EC} -eq 99
  if test ${EC} -eq 99 -o ${EC} -eq 105
  #
  # Already stopped and must start locally.
  #
  then
    STOPPED=0
    MUST_START_USING_SYSTEM_CALL=0
    if test ${EC} -eq 105
    then
      QUIET_MODE=0
    fi
  else
    if test ${EC} -eq 100
    then
@@ -155,13 +160,17 @@
      #
      MUST_STOP_USING_SYSTEM_CALL=0
    else
      if test ${EC} -eq 101
      if test ${EC} -eq 101 -o ${EC} -eq 106
      then
        #
        # Restart using system call
        #
        MUST_STOP_USING_SYSTEM_CALL=0
        MUST_START_USING_SYSTEM_CALL=0
        if test ${EC} -eq 106
        then
          QUIET_MODE=0
        fi
      else
        if test ${EC} -ne 102
        then
@@ -212,9 +221,16 @@
then
  if test ${STOPPED} -eq 0
  then
    "${INSTANCE_ROOT}/bin/start-ds"
    EXIT_CODE=${?}
    exit ${EXIT_CODE}
    if test ${QUIET_MODE} -eq 0
    then
      "${INSTANCE_ROOT}/bin/start-ds" --quiet
      EXIT_CODE=${?}
      exit ${EXIT_CODE}
    else
      "${INSTANCE_ROOT}/bin/start-ds"
      EXIT_CODE=${?}
      exit ${EXIT_CODE}
    fi
  fi
#
# The user does not want to start the server locally and it is already stopped.