From a046b6cc295535b0b70750708ee7e289fe72ffa6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 16 Feb 2004 22:09:01 +0000
Subject: [PATCH] - Ported to latest version of Helm_registry

---
 helm/proofChecker/proofChecker.conf.xml.sample | 12 ++++++++----
 helm/proofChecker/proofChecker.ml              |  9 ++-------
 2 files changed, 10 insertions(+), 11 deletions(-)

diff --git a/helm/proofChecker/proofChecker.conf.xml.sample b/helm/proofChecker/proofChecker.conf.xml.sample
index 3343e60bc..1f58c6c83 100644
--- 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 137043660..6513d4f93 100644
--- 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 ->
-- 
2.39.2