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

chebrard
26.54.2009 34ef24e42b23d094a2dc9a2ff9904569318602f8
opends/resource/bin/_script-util.sh
@@ -194,8 +194,12 @@
    then 
      if [ "${SCRIPT_NAME}" = "configure" ]
      then
        echo "${INSTALL_ROOT}/configure has already be run. Exiting."
        exit 0
        isVersionOrHelp $*
   if [ $? -eq 1 ]
   then
          echo "${INSTALL_ROOT}/configure has already been run. Exiting."
          exit 0
   fi
      fi 
      INSTANCE_ROOT=`cat /etc/opends/instance.loc`
    else
@@ -267,7 +271,7 @@
IFS=${CURRENT_IFS}
}
if [ "${SCRIPT_NAME}" != "configure" ]
if [ "${SCRIPT_NAME}" != "configure" ] &&  [ "${SCRIPT_NAME}" != "unconfigure" ]
then 
  # Perform check unless it is specified not to do it
  if [ -z "$NO_CHECK" ]