Searched refs:PID_FILE (Results 1 – 1 of 1) sorted by relevance
100 PID_FILE="$BASE_DIR/eclipse.pid"101 [ -f "$PID_FILE" ] && ECLIPSE_PID=`cat "$PID_FILE"`244 if [ -n "$ECLIPSE_PID" ] && [ -f "$PID_FILE" ]; then245 rm -fv "$PID_FILE"