On 02/03/2010 03:12 PM, Lee Burton wrote: > As for push mirroring, http://www.debian.org/mirror/push_server is a > decent example > An identity file with > no-port-forwarding,no-X11-forwarding,no-agent-forwarding,no-pty,command="/path/to/mirror/script",from="IPADDRESS" > &" > Is fairly decent.. I've talked with someone working on the data distribution system (big webcluster) for some big company and he said they haven't had good experience with pushing. Polling (often) has yet been the best solution. Actually the patch I posted here is quite similar to their system. PS: Please don't toppost. -- Florian Pritz -- {flo,bluewind}@server-speed.net