From e134a17d52f0872c26d6928143143af5af618552 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 13 Sep 2007 14:48:54 +0000
Subject: [PATCH] a working example :)

---
 helm/software/daemons/rdfly/rdfly.conf.xml.sample | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/helm/software/daemons/rdfly/rdfly.conf.xml.sample b/helm/software/daemons/rdfly/rdfly.conf.xml.sample
index d84e22426..9e3efb3f2 100644
--- a/helm/software/daemons/rdfly/rdfly.conf.xml.sample
+++ b/helm/software/daemons/rdfly/rdfly.conf.xml.sample
@@ -1,5 +1,13 @@
-<?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
+  <section name="user">
+    <!-- User home directory. Here a ".matita" directory will be created
+    and used to store the part of the library developed by the user. -->
+    <key name="home">/tmp/</key>
+    <!-- User name. It is used down in this configuration file.  If left
+    unspecified, name of the user executing matita will be used (as per
+    getent) -->
+    <key name="name">web</key>
+  </section>
   <section name="db">
     <key name="metadata">mysql://mowgli.cs.unibo.it public helm none library</key>
     <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
-- 
2.39.2