| Gabor Hojtsy 2004-12-18, 3:55 pm |
| > 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 w s to let the new
file spread around all the mirrors, so we can switch over to checking
the new location.
Goba
|