X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;h=dd0e6cf5c00b2bb93318a4f708333137c261112d;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=b7abfe901a25a0e6ebb530d90d3439375ea1b962;hpb=d97a5aeaed9e54e7a5c33570c3daaa0342979b66;p=helm.git diff --git a/helm/graphs/tools/drawGraph.ml b/helm/graphs/tools/drawGraph.ml index b7abfe901..dd0e6cf5c 100644 --- a/helm/graphs/tools/drawGraph.ml +++ b/helm/graphs/tools/drawGraph.ml @@ -36,9 +36,8 @@ let dir_env_var = "DRAW_GRAPH_DIR";; let wget url fname = prerr_endline (sprintf "DEBUG: wgetting url '%s'" url); - let data = Http_client.Convenience.http_get url in let oc = open_out fname in - output_string oc data; + Http_client.http_get_iter (output_string oc) url; close_out oc ;; @@ -59,7 +58,7 @@ let errmsg =