- Ported to latest version of Helm_registry

diff --git a/helm/proofChecker/proofChecker.conf.xml.sample b/helm/proofChecker/proofChecker.conf.xml.sample
index 3343e60bcd818442d068336c390640a0e16b5ce4..1f58c6c836e600cd07162e55fa8260c4766ecc72 100644 (file)
--- a/helm/proofChecker/proofChecker.conf.xml.sample
+++ b/helm/proofChecker/proofChecker.conf.xml.sample
@@ -1,7 +1,11 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-  <value key="proofchecker.port">48084</value>
-  <value key="getter.mode">remote</value>
-  <value key="getter.url">http://localhost:58081/</value>
-  <!-- <value key="getter.url">http://mowgli.cs.unibo.it:58081/</value> -->
+ <section name="proofchecker">
+  <key name="port">58084</key>
+ </section>
+ <section name="getter">
+  <key name="mode">remote</key>
+  <key name="url">http://localhost:58081/</key>
+  <!-- <key name="url">http://mowgli.cs.unibo.it:58081/</key> -->
+ </section>
 </helm_registry>

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 13704366084762d0a26750cd4db1a8a90d118b9f..6513d4f930085eb020258a8e01117575357c44df 100644 (file)
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -25,14 +25,9 @@
 
 open Printf;;
 
-let _ = Helm_registry.load_from "proofChecker.conf.xml";;
+let _ = Helm_registry.load_from "/projects/helm/etc/proofChecker.conf.xml";;
 
-let port =
- try
-  Helm_registry.get_int "proofchecker.port"
- with
-  Helm_registry.Key_not_found _ -> 48084
-;;
+let port = Helm_registry.get_int "proofchecker.port";;
 
 let (html_preamble, html_postamble) =
   ((fun uri ->