Lines Matching refs:HTTP

67 # Prompt the user to select from a range of ``built-in'' HTTP servers or
119 # Return success if we both found and set the media type to be an HTTP server.
125 # 		repository on the HTTP server. Valid examples include:
141 # 		The HTTP host to connect to, parsed from VAR_HTTP_PATH. In the
208 	# Set the name of the HTTP device to the URL
334 # Return success if able list a remote HTTP directory. If $connect_only is
339 # 		The HTTP server host name, IPv4 address or IPv6 address.
347 # 		The HTTP path sent to the server. Unused if $connect_only is
399 		printf "GET %s/ HTTP/1.0\r\n\r\n" "${http_path%/}" |
414 		/^HTTP.... 200 / {
428 # Initializes the HTTP media device. Returns success if able to confirm the
429 # existence of at least one known HTTP server release path directly via HTTP
435 #		The HTTP server to connect to. Must be set. Also see
440 # 		The HTTP path sent to the server. Usually set by calling
453 	f_dprintf "Init routine called for HTTP device. dev=[%s]" "$dev"
456 		f_dprintf "HTTP device already initialized."
531 # Returns data from $file on an HTTP server using nc(1). Please note that
534 # this function exits after receiving the HTTP header response from the server
535 # (if the HTTP response code is 200, success is returned; otherwise failure).
543 # 		HTTP server which to connect. Can be an IPv4 address, IPv6
575 		f_dprintf "No HTTP connection open, can't get file %s" "$file"
617 	printf "GET %s HTTP/1.0\r\n\r\n" "$url" | nc -n "$host" "$http_port" |
627 			HTTP*)
674 # Shuts down the HTTP device. Return status should be ignored. Note that since
675 # we don't maintain an open connection to the HTTP server, nothing to do.