shutdown.sh revision 447c2f3c3398943965ea8cd79f60ea06da7955f8
echo "OpenIDM is not running, not stopping."
exit 1
}
# clean up left over pid files if necessary
if [ -f $OPENIDM_PID_FILE ]; then
rm -f "$OPENIDM_PID_FILE"
fi
}
# resolve links - $0 may be a softlink
PRG="$0"
while [ -h "$PRG" ]; do
else
fi
done
echo $PRG
# Get standard environment variables
# Only set OPENIDM_HOME if not already set
# Only set OPENIDM_PID_FILE if not already set
if [ -f $OPENIDM_PID_FILE ]; then
fi
if [ -z "$START_PID" ]; then
fi
# Check if the pid file points to a running process that is the openidm jvm
if [ "$EXISTING_START_RUNNING" ]; then
echo "Stopping OpenIDM ($START_PID)"
kill $START_PID
exit 0
fi
# If the PID it points to is not the start script
# then it is a stale pid file