> >>>Log Message:
> >>>renumber servers - keep Bruce and Heiko happy by not renumbering their mirrors
> >>
> >>You can renumber mine all you want. No big deal for me.
> >
> >
> > Personally I think they should be renumbered, if Heiko doesn't care.
> >
> > Put all the internal mirrors at the end with numbers that won't change
> > (for awhile anyway :) ... 97, 98, 99.
>
> That's currently not possible. The menu array in update_src has
> to be strictly in ascending order of indexes - I know I've
> programmed the damned thing ;-)
I was thinking it might be possible to fill the unused entries with some
placeholder value, and only display the good entries on the menu?
(the `seq` command might be handy for that ;)
- BS
|