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 q2L2HKOW000410 for ; Wed, 21 Mar 2012 03:17:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkVAM85aU9N6B+kWmdsb2JhbABEgw+wS4MtARYKDAYVJ4IJAQEEATo/BQsLPwdDAxEGE4gFCbcmkQEEiFCFL41MjSY X-IronPort-AV: E=Sophos;i="4.73,621,1325458800"; d="scan'208";a="150450605" Received: from fe01x03-cgp.akado.ru (HELO akado.ru) ([77.232.31.164]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Mar 2012 03:17:13 +0100 Received: from [10.0.66.9] ([10.0.66.9] verified) by fe01-cgp.akado.ru (CommuniGate Pro SMTP 5.2.13) with ESMTPS id 335000808; Wed, 21 Mar 2012 06:17:12 +0400 Date: Wed, 21 Mar 2012 06:17:07 +0400 (MSK) From: malc X-X-Sender: malc@linmac To: =?ISO-8859-15?Q?Ricardo_Catalinas_Jim=E9nez?= cc: caml-list@inria.fr In-Reply-To: <20120320175113.GC935@viper.local> Message-ID: References: <20120320175113.GC935@viper.local> User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: Re: [Caml-list] Unix.getlogin () fails when stdin is redirected On Tue, 20 Mar 2012, Ricardo Catalinas Jim?nez wrote: > I found out the next issue in this simple code: > > let () = > print_endline "Hello"; > print_endline (Unix.getlogin ()) > > Running in the normal case, with `./a.out' gives: FWIW on my machine (linux) calling getlogin from any PTY always fails (be it screen or some sort of X terminal) [..snip..] -- mailto:av1474@comtv.ru