X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;h=c17902fbc551dd85e92f0a4a5315fee500d978f7;hb=33581c2ba6d8414968f4d3375352526ebf831a68;hp=b7abfe901a25a0e6ebb530d90d3439375ea1b962;hpb=d97a5aeaed9e54e7a5c33570c3daaa0342979b66;p=helm.git diff --git a/helm/graphs/tools/drawGraph.ml b/helm/graphs/tools/drawGraph.ml index b7abfe901..c17902fbc 100644 --- a/helm/graphs/tools/drawGraph.ml +++ b/helm/graphs/tools/drawGraph.ml @@ -28,30 +28,17 @@ open Printf;; let debug = true;; let debug_print s = if debug then prerr_endline s;; +let configuration_file = "/projects/helm/etc/drawGraph.conf.xml";; + let daemon_name = "Draw Graph";; -let default_port = 48083;; -let default_dir = "/projects/helm/graphs/tools";; -let port_env_var = "DRAW_GRAPH_PORT";; -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_user_agent.get_iter (output_string oc) url; close_out oc ;; -let port = - try - int_of_string (Sys.getenv port_env_var) - with - | Not_found -> default_port - | Failure "int_of_string" -> - prerr_endline "Warning: invalid port, reverting to default"; - default_port -in -let dir = try Sys.getenv dir_env_var with Not_found -> default_dir in let errmsg = sprintf " @@ -59,7 +46,7 @@ let errmsg =