]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/graphs/tools/drawGraph.ml
new compose tactic, still undocumented.
[helm.git] / daemons / graphs / tools / drawGraph.ml
index c17902fbc551dd85e92f0a4a5315fee500d978f7..dc6bc42d8f6acf3f68c4099823c22698c3d20eb6 100644 (file)
@@ -96,6 +96,7 @@ Sys.chdir (Helm_registry.get "draw_graph.dir");
 printf "%s started and listening on port %d\n" daemon_name port;
 printf "current directory is %s\n" (Sys.getcwd ());
 flush stdout;
-Http_daemon.start' ~port callback;
+let d_spec = Http_daemon.daemon_spec ~port ~callback ~auto_close:true () in
+Http_daemon.main d_spec;
 printf "%s is terminating, bye!\n" daemon_name