Changes between Version 12 and Version 13 of JuergeN/Documentation


Ignore:
Timestamp:
26.08.2011 17:34:38 (9 years ago)
Author:
JuergeN
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • JuergeN/Documentation

    v12 v13  
    104104        # to handle requests from services started subsequently which depend 
    105105        # 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 
    106120} 
    107121