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