shutdown.sh revision 957d90fabed6f5fb1acb209d4804021b29b47b94
0N/A echo "OpenIDM is not running, not stopping." 0N/A # clean up left over pid files if necessary 0N/A# resolve links - $0 may be a softlink 0N/A# Get standard environment variables # Only set OPENIDM_HOME if not already set # Only set OPENIDM_PID_FILE if not already set # Check if the pid file points to a running process that is the openidm jvm # If the PID it points to is not the start script # then it is a stale pid file