Lines Matching refs:PORT
21 ## args: hostname [port]. You feed it the filename-parts of URLs.
22 ## In the loop, HOST, PORT, and SAVE do the right things; a null line
43 port="80"
45 port="$2"
67 PORT)
68 echo -n 'New port: '
69 read port
122 echo GET "${spec}" | $BACKEND $host $port > ${TMPAGE}
140 # transport://user:pass@host:port/path/name?query-string
141 # wais: port 210, //host:port/database?search or /database/type/file?
