1 files changed, 0 insertions, 14 deletions
diff --git a/contrib/awk/awklib/eg/network/hello-serv.awk b/contrib/awk/awklib/eg/network/hello-serv.awk
deleted file mode 100644
index 003ee08..0000000
--- a/contrib/awk/awklib/eg/network/hello-serv.awk
+++ /dev/null
@@ -1,14 +0,0 @@
-BEGIN {
-  RS = ORS = "\r\n"
-  HttpService = "/inet/tcp/8080/0/0"
-  Hello = "<HTML><HEAD>" \
-          "<TITLE>A Famous Greeting</TITLE></HEAD>" \
-          "<BODY><H1>Hello, world</H1></BODY></HTML>"
-  Len = length(Hello) + length(ORS)
-  print "HTTP/1.0 200 OK"          |& HttpService
-  print "Content-Length: " Len ORS |& HttpService
-  print Hello                      |& HttpService
-  while ((HttpService |& getline) > 0)
-     continue;
-  close(HttpService)
-}