X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;h=0caba5bef371018e00a7bc26d217991a5feaa78c;hb=35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7;hp=5c539c1c28eb94d83f46f26602b10339afed2d17;hpb=4c67cc0208078e3952a5146563d4d49116f7edf4;p=helm.git diff --git a/helm/graphs/tools/drawGraph.ml b/helm/graphs/tools/drawGraph.ml index 5c539c1c2..0caba5bef 100644 --- a/helm/graphs/tools/drawGraph.ml +++ b/helm/graphs/tools/drawGraph.ml @@ -24,13 +24,20 @@ * http://cs.unibo.it/helm/. *) +let debug = true;; +let debug_print s = if debug then prerr_endline s;; +Http_common.debug := debug;; + open Printf;; 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; @@ -46,6 +53,17 @@ let port = 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 = +" +
+