Re: phpweb / mirroring.php

On Sat, 2004-12-18 at 18:56, Gabor Hojtsy wrote: > > Don't know if possible, BUT, if you put mirror-info.php IN manual/ and > > check for its contents, you: > > > > a) verify that /manual/ alias doesn't exist (you wouldn't get > > mirror-info.php if it did) > > b) still can have all the info mirror-info.php gives you. > > > > the only downside I can think of, is if the /manual/ dir is getting > > overwritten all the time by something else (like the documentation > > creation script), but I wouldn't think this is the case, because if it > > was, during to creation of new manuals, mirrors that would sync from the > > master server would have a partial look of the site... > > > > your opinion? :) > > Not a bad idea, but we need to have at least two weeks to let the new > file spread around all the mirrors, so we can switch over to checking > the new location. > > Goba So do it ;-) (I am quite surprised to hear that mirrors are updated on such a long interval; What happens when there's a new version or a special news item on the main page?) -- shimi <shimi@shimi.net>