From 92973a5e965ee35323f2cda9f0856099488c6594 Mon Sep 17 00:00:00 2001 From: ygrek Date: Thu, 1 Jul 2010 17:09:43 +0300 Subject: [PATCH] support all encodings --- curl-helper.c | 12 ++++++++++++ curl.ml | 4 +++- curl.mli | 6 ++++-- 3 files changed, 19 insertions(+), 3 deletions(-) diff --git a/curl-helper.c b/curl-helper.c index 0509625..c924dff 100644 --- a/curl-helper.c +++ b/curl-helper.c @@ -2247,6 +2247,18 @@ static void handleEncoding(Connection *conn, value option) "deflate"); break; + case 2: /* CURL_ENCODING_GZIP */ + result = curl_easy_setopt(conn->connection, + CURLOPT_ENCODING, + "gzip"); + break; + + case 3: /* CURL_ENCODING_ANY */ + result = curl_easy_setopt(conn->connection, + CURLOPT_ENCODING, + ""); + break; + default: failwith("Invalid Encoding Option"); break; diff --git a/curl.ml b/curl.ml index 91651c1..67e16b6 100644 --- a/curl.ml +++ b/curl.ml @@ -100,7 +100,9 @@ type curlNETRCOption = type curlEncoding = | CURL_ENCODING_NONE | CURL_ENCODING_DEFLATE - + | CURL_ENCODING_GZIP + | CURL_ENCODING_ANY + type curlContentType = | DEFAULT | CONTENTTYPE of string diff --git a/curl.mli b/curl.mli index d760143..d489338 100644 --- a/curl.mli +++ b/curl.mli @@ -98,8 +98,10 @@ type curlNETRCOption = | CURL_NETRC_REQUIRED type curlEncoding = - | CURL_ENCODING_NONE - | CURL_ENCODING_DEFLATE + | CURL_ENCODING_NONE (* identity *) + | CURL_ENCODING_DEFLATE (* deflate *) + | CURL_ENCODING_GZIP (* gzip *) + | CURL_ENCODING_ANY (* all supported encodings *) type curlContentType = | DEFAULT -- 2.11.4.GIT