Re: Bug#85521: apt-get gives up too early
On Sun, 11 Feb 2001, Harald Dunkel wrote:
> If your servers have the same contents _all_ the time (excuse me,
> but this is very unlikely), then I would suggest to first put the
It's not all the time, it is just enough to make implementing the
significantly complicated 404 multi-ip failover not worth while.
> new *.deb files in place, then mirror the package list, and finally
> remove the now obsolete *.deb files.
Ideally yes, but our mirror tools kind of suck..