Name	Size	Mode	Actions
coreserv.awk	3391	0644	editdlrm
eliza.awk	10220	0644	editdlrm
fingerclient.awk	161	0644	editdlrm
geturl.awk	787	0644	editdlrm
hello-serv.awk	463	0644	editdlrm
maze.awk	2655	0644	editdlrm
mobag.awk	2841	0644	editdlrm
panic.awk	575	0644	editdlrm
PostAgent.sh	274	0644	editdlrm
protbase.awk	400	0644	editdlrm
protbase.request	162	0644	editdlrm
protbase.result	642	0644	editdlrm
remconf.awk	2186	0644	editdlrm
statist.awk	3612	0644	editdlrm
stoxdata.txt	165	0644	editdlrm
stoxpred.awk	5637	0644	editdlrm
testserv.awk	334	0644	editdlrm
urlchk.awk	1053	0644	editdlrm
webgrab.awk	187	0644	editdlrm

BEGIN { if (ARGC != 2) { print "GETURL - retrieve Web page via HTTP 1.0" print "IN:\n the URL as a command-line parameter" print "PARAM(S):\n -v Proxy=MyProxy" print "OUT:\n the page content on stdout" print " the page header on stderr" print "JK 16.05.1997" print "ADR 13.08.2000" exit } URL = ARGV[1]; ARGV[1] = "" if (Proxy == "") Proxy = "127.0.0.1" if (ProxyPort == 0) ProxyPort = 80 if (Method == "") Method = "GET" HttpService = "/inet/tcp/0/" Proxy "/" ProxyPort ORS = RS = "\r\n\r\n" print Method " " URL " HTTP/1.0" |& HttpService HttpService |& getline Header print Header > "/dev/stderr" while ((HttpService |& getline) > 0) printf "%s", $0 close(HttpService) }