From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6U8507B014191 for ; Sat, 30 Jul 2011 10:05:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQBACa6M07U4xEKkGdsb2JhbAA0AQEFQEURDBQEKBIUAS0qqAkUAQEBAQkJDQcUAyKIfgK/X4VjXwSSe4RjhQmGeg X-IronPort-AV: E=Sophos;i="4.67,291,1309730400"; d="scan'208,217";a="114518263" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Jul 2011 10:04:59 +0200 Received: from keller.hars.de (p4FF61F23.dip0.t-ipconnect.de [79.246.31.35]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0LaJV0-1RG2hm3G2A-00lPi7; Sat, 30 Jul 2011 10:04:44 +0200 Received: from hars by keller.hars.de with local (Exim 4.72) (envelope-from ) id 1Qn4XP-0005dd-Nl; Sat, 30 Jul 2011 10:04:47 +0200 Date: Sat, 30 Jul 2011 10:04:47 +0200 From: Florian Hars To: Xavier Leroy Cc: caml-list@inria.fr Message-ID: <20110730080447.GB15860@keller.hars.de> References: <4E32EF0A.90300@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4E32EF0A.90300@inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: florian@hars.de X-SA-Exim-Scanned: No (on keller.hars.de); SAEximRunCond expanded to false X-Provags-ID: V02:K0:3lJabUDWSQocCxLewZ0fOfwWb7hneEL1jD8Sk81cLs3 cF0AG+EJIz+uu97x6aq9a6O4Jgq1YVe8OFhphoUguQymGV0SMo SKgab/6DJL3LJK9CGmUVnDL02lmW1tKrNRi0lKB5qYbkGH7Owk XMx1aV4gynol0r2syX4261eHVm3TMVPek7n5ooGq5ps2QSluWE HAXhwsAg7mIys70KMjJdA== Subject: Re: [Caml-list] Re: Great Renaming 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 Active-DVI ... - Florian.