--- a/Admin/rsyncd Mon Oct 06 22:41:21 2008 +0200
+++ b/Admin/rsyncd Tue Oct 07 11:51:31 2008 +0200
@@ -5,5 +5,5 @@
# $Id$
#
-rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730
+/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf