purplefox/vert.x — pull request #238 by patoi (2012-06-23 14:19:25+00:00)
Title: Web server handling pre compressed gzip files #234

This modification speed up web server service, with serve smaller pre compressed gz files.

I introduced a new web-server config parameter for speed up execution: gzip_files
"gzip_files": true = check file "fileName.gz", and send it back. If not found, then fallback to "fileName".
"gzip_files": false = send back "fileName", do not check "fileName.gz" unnecessarily.

If you put a script.js.gz file into web_root, then it will be sent back to browser, if:
- browser sent HTTP request header: Accept-Encoding, and it has "gzip" value
- and "gzip_files" set true
- and found script.js.gz file

Script file name in HTML:

\