Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:ECLIPSE_PID (Results 1 - 2 of 2) sorted by null

/sdk/eclipse/scripts/
setup_eclipse.sh	59 ECLIPSE_PID=$! 60 echo "*** Eclipse started in background with PID $ECLIPSE_PID" 61 echo "$ECLIPSE_PID" > "$BASE_DIR"/eclipse.pid
build_plugins.sh	88 [ -f "$PID_FILE" ] && ECLIPSE_PID=`cat "$PID_FILE"` 220 if [ -n "$ECLIPSE_PID" ] && [ -f "$PID_FILE" ]; then 222 kill -9 "$ECLIPSE_PID"

Completed in 269 milliseconds