diff options
author | Johan van Selst <johans@FreeBSD.org> | 2009-03-09 22:26:09 +0000 |
---|---|---|
committer | Johan van Selst <johans@FreeBSD.org> | 2009-03-09 22:26:09 +0000 |
commit | ee66f04b0242973bd5252d5e92e0c4be04e55a67 (patch) | |
tree | 82fb14cf2ac17cb17d4bd411616f75d034f9fbb7 /lang/cduce | |
parent | - Update to 0.0.22 (diff) |
Fix build with new ocaml-ocurl (if curl is enabled)
Notes
Notes:
svn path=/head/; revision=229809
Diffstat (limited to 'lang/cduce')
-rw-r--r-- | lang/cduce/files/patch-parser_cduce_curl.ml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lang/cduce/files/patch-parser_cduce_curl.ml b/lang/cduce/files/patch-parser_cduce_curl.ml new file mode 100644 index 000000000000..f9d04b01077b --- /dev/null +++ b/lang/cduce/files/patch-parser_cduce_curl.ml @@ -0,0 +1,18 @@ +--- parser/cduce_curl.ml 2008-02-25 11:10:42.000000000 +0100 ++++ parser/cduce_curl.ml 2009-02-13 16:52:26.000000000 +0100 +@@ -9,7 +9,14 @@ + let buff = Buffer.create 4096 in + let conn = Curl.init () in + Curl.set_url conn s; +- Curl.set_writefunction conn (Buffer.add_string buff); ++ Curl.set_writefunction conn ( ++ fun str -> ++ try ++ Buffer.add_string buff str; ++ String.length str ++ with ++ Failure _ -> 0 ++ ); + Curl.perform conn; + Buffer.contents buff + with Curl.CurlException (code, n, msg) -> |