1.1 --- a/Admin/rsyncd	Mon Mar 24 15:59:16 2008 +0100
     1.2 +++ b/Admin/rsyncd	Mon Mar 24 15:59:56 2008 +0100
     1.3 @@ -5,5 +5,5 @@
     1.4  # $Id$
     1.5  #
     1.6  
     1.7 -rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
     1.8 +rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730
     1.9