X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FproofChecker%2FproofChecker.ml;h=e4f00fe3acf86c989b4e250af89000fda4942206;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=7c9c0f150a1a5068138b3aee594e75a54c88d29a;hpb=37adb260bc671a4615e2b3fa9fb1ae44999747d0;p=helm.git diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml index 7c9c0f150..e4f00fe3a 100644 --- a/helm/proofChecker/proofChecker.ml +++ b/helm/proofChecker/proofChecker.ml @@ -25,17 +25,9 @@ open Printf;; -let default_port = 48084;; +let _ = Helm_registry.load_from "/projects/helm/etc/proofChecker.conf.xml";; -let port = - try - int_of_string (Sys.getenv "PROOF_CHECKER_PORT") - with - | Not_found -> default_port - | Failure "int_of_string" -> - prerr_endline "Warning: invalid port, reverting to default"; - default_port -;; +let port = Helm_registry.get_int "proofchecker.port";; let (html_preamble, html_postamble) = ((fun uri -> @@ -45,10 +37,10 @@ let (html_preamble, html_postamble) =