Skip to content

Instantly share code, notes, and snippets.

@atosz33

atosz33/web-server.awk

Created November 15, 2018 08:47
Show Gist options
  • Save atosz33/5c0e9c296b5a31ff5ca3098b22f20559 to your computer and use it in GitHub Desktop.
Save atosz33/5c0e9c296b5a31ff5ca3098b22f20559 to your computer and use it in GitHub Desktop.
Download ZIP
Gawk web server
Raw
web-server.awk
#Usage: gawk -f web-server
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)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment