Searched refs:REMOTE_PIDX (Results 1 – 1 of 1) sorted by relevance
177 REMOTE_PIDX=$(find_pidx ${LOCAL_PORT} "$REM")179 echo "Local port ${LOCAL_PORT} with index ${REMOTE_PIDX} on remote host"474 write_file "$REMOTE_PIDX" "$REMOTE_PERF/run"494 REMOTE_PEER_TOOL="$REMOTE_TOOL/peer$REMOTE_PIDX"