]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo.conf.xml.sample
Ported to Helm_registry.
[helm.git] / helm / uwobo / uwobo.conf.xml.sample
diff --git a/helm/uwobo/uwobo.conf.xml.sample b/helm/uwobo/uwobo.conf.xml.sample
new file mode 100644 (file)
index 0000000..d138ee1
--- /dev/null
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="utf-8"?>
+<helm_registry>
+  <section name="per_user_settings">
+    <key name="dbm_dir">/projects/helm/shared/V7_mowgli</key>
+    <key name="cache_dir">/tmp/helm/cache</key>
+  </section>
+
+  <section name="uwobo">
+    <key name="log_basename">/var/log/mowgli/uwobo</key>
+    <key name="log_extension">.log</key>
+
+    <key name="port">58080</key>
+  </section>
+</helm_registry>