--- a/Admin/rsyncd.conf Thu Mar 09 13:56:54 2000 +0100
+++ b/Admin/rsyncd.conf Thu Mar 09 14:19:15 2000 +0100
@@ -6,8 +6,8 @@
uid = nobody
gid = nobody
-use chroot = no
-log file = /usr/proj/isabelle/rsyncd.log
+use chroot = yes
+log file = /tmp/rsyncd.log
read only = true
[isabelle-dist]