On Wed, Oct 01, 2008 at 08:38:00PM +0200, Oz Nahum wrote: > Thanks for the quick response. Just out of curiosity, how long does it take > before these changes actually appear on the real web server ? 4 hours, IIRC. Mirroring could result in another delay!? > Does the machine run the make script every couple of days automatically ? Every 4 hours. Jens