Searched refs:ECLIPSE_PID (Results 1 – 2 of 2) sorted by relevance
76 ECLIPSE_PID=$!77 echo "*** Eclipse started in background with PID $ECLIPSE_PID"78 echo "$ECLIPSE_PID" > "$BASE_DIR"/eclipse.pid
101 [ -f "$PID_FILE" ] && ECLIPSE_PID=`cat "$PID_FILE"`244 if [ -n "$ECLIPSE_PID" ] && [ -f "$PID_FILE" ]; then246 kill -9 "$ECLIPSE_PID"