mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
lutoff
18.14.2008 d42b15e420478dc45785fff6e00b863cc1f8a0f9 
 opends/resource/uninstall


@@ -39,15 +39,24 @@


SCRIPT_NAME=uninstall


export SCRIPT_NAME




INSTANCE_ROOT=${SCRIPT_DIR}


export INSTANCE_ROOT


INSTALL_ROOT=${SCRIPT_DIR}


export INSTALL_ROOT




if cat ${INSTALL_ROOT}/instance.loc | grep '^/' > /dev/null


then


  INSTANCE_ROOT=`cat ${INSTALL_ROOT}/instance.loc`


  export INSTANCE_ROOT


else


  INSTANCE_ROOT=${INSTALL_ROOT}/`cat ${INSTALL_ROOT}/instance.loc`


  export INSTANCE_ROOT


fi




cd "${WORKING_DIR}"




# Set environment variables


SCRIPT_UTIL_CMD=set-full-environment-and-test-java


export SCRIPT_UTIL_CMD


.  "${INSTANCE_ROOT}/lib/_script-util.sh"


.  "${INSTALL_ROOT}/lib/_script-util.sh"


RETURN_CODE=$?


if test ${RETURN_CODE} -ne 0


then