--- 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]