On Sat, Mar 16, 2002 at 12:43:36PM -0700, Chris Tillman wrote: > On Sat, Mar 16, 2002 at 02:21:55PM -0500, Adam Di Carlo wrote: > > "Chris Tillman" <tillman@voicetrak.com> writes: > > > > > I first tried wget to retrieve the file directly. It couldn't resolve > > > the domain name. Then I noticed my other machine, which was downloading > > > apt-get from the same server, was getting error messages too. > > > > > > I then went back to the first amchine and started base installation > > > from http.us.debian.org without any problems. > > > > > > So in this case, it really was a server problem. Is there some way we > > > could check specifically for dns name resolution and ping-ability and > > > return that as an error instead of Malformed Release file? > > > > It's possible -- but isn't this a debootstrap issue? Shouldn't it be > > filed as a wishlist on that? > > Yes, there are already several bugs. I'll go add it there. I just filed it, with patch. Matt
Attachment:
pgpTI6p6o3AZW.pgp
Description: PGP signature