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

/opengrok/tools/
H A DMessages76 ${REMOTE_SERVER:+-s} ${REMOTE_SERVER:+"$REMOTE_SERVER"} \
122 echo -e "\tREMOTE_SERVER = "${REMOTE_SERVER:-$REMOTE_SERVER}
193 REMOTE_SERVER="localhost"
293 REMOTE_SERVER=$(OneArgument "$@")

Completed in 7 milliseconds