From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 24569BC88 for ; Mon, 7 Feb 2005 16:47:21 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j17FlKIb001056 for ; Mon, 7 Feb 2005 16:47:20 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA11804 for ; Mon, 7 Feb 2005 16:47:20 +0100 (MET) Received: from grisu.bik-gmbh.de (grisu.bik-gmbh.de [217.110.154.194]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j17FlIdd003563 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 7 Feb 2005 16:47:19 +0100 Received: from [192.168.125.193] ([192.168.125.193]) by grisu.bik-gmbh.de (8.12.11/8.12.11) with ESMTP id j17FlFEJ032814; Mon, 7 Feb 2005 16:47:15 +0100 (CET). Message-ID: <42078D7D.5010104@bik-gmbh.de> Date: Mon, 07 Feb 2005 16:47:09 +0100 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.7.3) Gecko/20040924 Debian/1.7.3-1ubuntu1 X-Accept-Language: en MIME-Version: 1.0 To: Anastasia Gornostaeva Cc: caml-list Subject: Re: [Caml-list] timer again References: <20050207110047.GA37462@ermine.home> In-Reply-To: <20050207110047.GA37462@ermine.home> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42078D88.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42078D86.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; florian:01 hars:01 hars:01 bik-gmbh:01 caml-list:01 wrote:01 eintr:01 posix:01 posix:01 florian:01 ...:98 unix:01 eleves:01 behaviour:01 debian:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Anastasia Gornostaeva wrote: > When in a programm is used timer.ml [...], it is not possible to open > connections to some servers using Unix.open_connection -- the program > always get EINTR. > Platform idepedent (noticed on freebsd and linux debian). Of course it is platform independent, this is the POSIX mandated behaviour of connect. See the man pages for connect, select, poll. This is not generally considered the brightest part of the POSIX spec: http://www.eleves.ens.fr:8080/home/madore/computers/connect-intr.html Yours, Florian.