From: Francis Dupont <Francis.Dupont@fdupont.fr>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: Great Renaming
Date: Fri, 29 Jul 2011 20:05:29 +0200 [thread overview]
Message-ID: <201107291805.p6TI5Tpm002792@givry.fdupont.fr> (raw)
In-Reply-To: Your message of Fri, 29 Jul 2011 19:34:02 +0200. <4E32EF0A.90300@inria.fr>
In your previous mail you wrote:
On 07/29/2011 06:59 PM, Sylvain Le Gall wrote:
> Another side effect: caml.inria.fr points to active-dvi !
Unrelated, but thanks for reporting it. It seems that INRIA's DNS is
broken and reports two different IP addresses for caml.inria.fr, the
correct one and the one of the server hosting advi.inria.fr...
=> I've tried all servers of inria.fr and all answered with a CNAME
to pauillac.inria.fr (i.e., caml is an alias of pauillac) which has
the address 128.93.11.35 (IPv4, no IPv6 address) and BTW is an
alias of advi.inria.fr too (i.e., advi has a CNAME pointing to
pauillac).
Note this is not necessary what you can get as DNS records can be
cached and according to what I can see in this case for up to 2 days.
> Do you plan to keep caml.inria.fr as well? or to add ocaml.inria.fr?
=> the simplest should be to add ocaml as an alias of caml
(note if caml is itself an alias ocaml must point to the canonical name:
CNAME chains are forbidden by RFCs so can't be assumed to work well
everywhere).
Regards
Francis.Dupont@fdupont.fr
PS: Xavier, passe le bonjour de ma part...
next prev parent reply other threads:[~2011-07-29 18:05 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-07-29 15:16 [Caml-list] " Damien Doligez
2011-07-29 16:59 ` [Caml-list] " Sylvain Le Gall
2011-07-29 17:34 ` Xavier Leroy
2011-07-29 18:05 ` Francis Dupont [this message]
2011-07-29 20:13 ` Christophe Raffalli
2011-07-30 8:04 ` Florian Hars
2011-07-29 17:20 ` [Caml-list] " Mehdi Dogguy
2011-08-02 21:26 ` Richard W.M. Jones
2011-08-04 16:11 ` Ashish Agarwal
2011-08-23 8:41 ` Daniel Bünzli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=201107291805.p6TI5Tpm002792@givry.fdupont.fr \
--to=francis.dupont@fdupont.fr \
--cc=Xavier.Leroy@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).