shutdown.sh revision 452785bc11d7f5e61ac7f46185dc121a484028c0
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