[PATCH] Support HTTP/2 headers from web servers.

[Derek Upham]

The web client module doesn’t currently support HTTPS, so I have been calling 
out to curl and parsing the result with the web client code.  This is breaking 
for HTTP/2 servers, as the code expects a MAJOR.MINOR format, and the HTTP/2 
working group is explicitly not using a minor version in the HTTP/2 spec 
(https://http2.github.io/faq/#is-it-http20-or-http2).  For example,

  curl --silent --head https://www.google.com

returns the first line

  HTTP/2 200

This patch adds parsing and printing support that handles HTTP/2, representing 
it as a consistent ‘'(2 . 0)’ internally.

I’m tempted to drop the whole “find the dot index” approach for HTTP/1.x and 
just explicitly match on “HTTP/1.0” and “HTTP/1.1” as well.

Derek

0001-Support-HTTP-2-headers-from-web-servers.patch
Description: Git patch file

-- 
Derek Upham
address@hidden