Changes between Version 12 and Version 13 of JuergeN/Documentation
- Timestamp:
- 26.08.2011 17:34:38 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
JuergeN/Documentation
v12 v13 104 104 # to handle requests from services started subsequently which depend 105 105 # on this one. As a last resort, sleep for some time. 106 107 # Sleep at least 6 seconds to check if deepamehta is running! 108 sleep 6 109 # Now check if we can find the according java process. 110 if [ -f $PIDFILE ]; then 111 PIDNUM=$( cat $PIDFILE ) 112 PIDRUN=$( ps -p $PIDNUM | grep java ) 113 if [ "$PIDRUN" != "" ]; then 114 echo "done." 115 else 116 echo "failed!" 117 rm -f $PIDFILE 118 fi 119 fi 106 120 } 107 121