Searched refs:REMOTE_PORT_NUM (Results 1 - 1 of 1) sorted by relevance

/opengrok/tools/
H A DMessages77 ${REMOTE_PORT_NUM:+-p} ${REMOTE_PORT_NUM:+"$REMOTE_PORT_NUM"} \
123 echo -e "\tREMOTE_PORT_NUM = "${REMOTE_PORT_NUM:-$REMOTE_PORT_NUM}
194 REMOTE_PORT_NUM=2424
288 REMOTE_PORT_NUM=$(OneArgument "$@")

Completed in 21 milliseconds