--- a/Admin/rsyncd Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/rsyncd Mon Mar 24 15:59:56 2008 +0100
@@ -5,5 +5,5 @@
# $Id$
#
-rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
+rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730