On Fri, Jul 29, 2011 at 07:34:02PM +0200, Xavier Leroy wrote: > Unrelated, but thanks for reporting it. It seems that INRIA's DNS is > broken and reports two different IP addresses for caml.inria.fr
According to http://www.squish.net/dnscheck, all seven nameservers consistently return 128.93.11.35 (pauillac) for both caml.inria.fr and advi.inria.fr. If there is a problem, I'd suspect the virtual host handling on pauillac. Notice the absence of a Host request header in the following transscript: ~$ nc pauillac.inria.fr 80 GET / HTTP/1.0 HTTP/1.1 200 OK Date: Sat, 30 Jul 2011 08:02:40 GMT Server: Apache/2.2.16 (Debian) Last-Modified: Mon, 05 Apr 2010 08:35:48 GMT ETag: "9cef7-1e1c-48379373f0100" Accept-Ranges: bytes Content-Length: 7708 Vary: Accept-Encoding Connection: close Content-Type: text/html <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd";> <HTML> <HEAD> <TITLE> Active-DVI </TITLE> ... - Florian. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
