# HG changeset patch
# User wenzelm
# Date 1223373091 -7200
# Node ID e79fad5c16a61d6fc771883f00e34df8f4e26a1e
# Parent  66b95e857bdebbeb2fb42308ea4da6ce690d4694
updated to official version as of 07-Oct-2008;

diff -r 66b95e857bde -r e79fad5c16a6 Admin/rsyncd
--- 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