From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A4747BBC1 for ; Sun, 20 Apr 2008 23:43:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAEpVC0jAXQIn/2dsb2JhbAClf4MT X-IronPort-AV: E=Sophos;i="4.25,686,1199660400"; d="scan'208";a="11683686" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Apr 2008 23:43:40 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3KLhdZA028969 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 20 Apr 2008 23:43:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApEBAEpVC0hA6aa2c2dsb2JhbACRVwEMAwQFCRSTcoMT X-IronPort-AV: E=Sophos;i="4.25,686,1199660400"; d="scan'208";a="9810280" Received: from py-out-1112.google.com ([64.233.166.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Apr 2008 23:43:39 +0200 Received: by py-out-1112.google.com with SMTP id u52so2206125pyb.10 for ; Sun, 20 Apr 2008 14:43:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=wGWevjcf7BoSc4b3xq7KRYggiGqeN+n9OdCzOdY+I4c=; b=HXyipGOeFT2Gnuf4x050gmtCHEATz5qMyzbBd4pdtYW1cxv5QAGbg71+4kU6yJzhqoAI2lm6U2K1vG1hIGLG8zy/Effuw6N+vV+8BWC0zu9R7ji8gmYxKef2NuSR2c7IxaR179XRe4Gc4vRXAqLftFBewVYp4HC4jgqQqMvhvrA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=NF2eKUiwUw1OfctsJ8Z9I78vi1TJUmkURoz/JJkze2ZybbySYW7LHs1mi2Gscb6w7oJMTE4P491+LCUo9hL93RgYWD5smj6N6aBeIggUlnNOUMcBHZ7NAsgw7UB4BLWYSuSzSaamF27teWgFZOSgTDbvsoM2MelNTKj4QLeV0XI= Received: by 10.140.127.20 with SMTP id z20mr2858230rvc.77.1208727817918; Sun, 20 Apr 2008 14:43:37 -0700 (PDT) Received: by 10.140.131.10 with HTTP; Sun, 20 Apr 2008 14:43:37 -0700 (PDT) Message-ID: <666572260804201443l79fec2f6r672b903b31b2ba96@mail.gmail.com> Date: Sun, 20 Apr 2008 23:43:37 +0200 From: Adrien To: "Sylvain Le Gall" Subject: Re: [Caml-list] Re: forge.OCamlCore.org is now ready to serve the OCaml community Cc: caml-list@inria.fr In-Reply-To: <666572260804201438t2709c4cdr408c37543fb37ba8@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20080417070904.GA27179@aquarium.takhisis.invalid> <480B6C68.6060805@inria.fr> <666572260804201438t2709c4cdr408c37543fb37ba8@mail.gmail.com> X-Miltered: at concorde with ID 480BB90B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 lowercase:01 caml-list:01 surprising:01 surprising:01 underscore:02 solved:04 guess:04 problem:05 nader:05 comparison:05 anyway:05 real:10 though:13 exist:13 Nevermind, I finally managed to see my login name in the confirmation mail. I had not noticed it as it had gone lowercase and expected two uppercase characters (which simply means I read the confirmation mail too quickly). What is surprising though is that when I tried with CamaradeTux (underscore removed), I was told the user did not exist but Camarade_Tux existed for the system. Or this may be not so surprising, I guess the does-user-exist comparison is not case-sensitive while the real login check is. Anyway, the problem is solved. ;) --- Adrien Nader