# HG changeset patch # User kleing # Date 952607955 -3600 # Node ID 683838ba11e021654fbfaf8543989d8713824501 # Parent e5b618f6824e04955f9de6ae488eff420adc01bd rsync goes "official" (started at boot time) diff -r e5b618f6824e -r 683838ba11e0 Admin/rsyncd.conf --- 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]