802 |
add_reply_header r "Connection" "close" |
add_reply_header r "Connection" "close" |
803 |
|
|
804 |
let add_gzip_headers r = |
let add_gzip_headers r = |
805 |
if Autoconf.has_zlib && !!html_use_gzip then begin |
if !!html_use_gzip then begin |
806 |
add_reply_header r "Content-Encoding" "gzip"; |
add_reply_header r "Content-Encoding" "gzip"; |
807 |
add_reply_header r "Vary" "Accept-Encoding"; |
add_reply_header r "Vary" "Accept-Encoding"; |
808 |
end |
end |
1432 |
| BIN -> Buffer.contents buf |
| BIN -> Buffer.contents buf |
1433 |
| UNK -> "Unknown type for content :" ^ (Buffer.contents buf) |
| UNK -> "Unknown type for content :" ^ (Buffer.contents buf) |
1434 |
in |
in |
1435 |
r.reply_content <- if Autoconf.has_zlib && !!html_use_gzip then Autoconf.zlib__gzip_string s else s |
r.reply_content <- if !!html_use_gzip then Autoconf.zlib__gzip_string s else s |
1436 |
|
|
1437 |
let http_options = { |
let http_options = { |
1438 |
conn_buf = Buffer.create 10000; |
conn_buf = Buffer.create 10000; |