X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.conf.xml.sample;h=1f58c6c836e600cd07162e55fa8260c4766ecc72;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3343e60bcd818442d068336c390640a0e16b5ce4;hpb=6aeabf6dc6d81b6557aa693eda4563867450390e;p=helm.git

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>