From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA06794; Thu, 13 Sep 2001 13:27:02 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA06648 for ; Thu, 13 Sep 2001 13:27:00 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f8DBQxP27394 for ; Thu, 13 Sep 2001 13:26:59 +0200 (MET DST) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id f8DBQwn80286 for ; Thu, 13 Sep 2001 13:26:58 +0200 (CEST) Received: from aimlin.ens.fr (root@clipper [129.199.129.1]) by clipper.ens.fr (8.9.2/jb-1.1) id NAA13996 for ; Thu, 13 Sep 2001 13:26:52 +0200 (MET DST) Received: by aimlin.ens.fr (Postfix, from userid 501) id AC854380E8; Thu, 13 Sep 2001 11:35:08 +0200 (CEST) Date: Thu, 13 Sep 2001 11:35:08 +0200 From: Nicolas George To: caml-list@inria.fr Subject: [Caml-list] Timeouts and event Message-ID: <20010913113508.A682@aimlin> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.1.4i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Is it possible to do something like Event.select, but that would only block for a limited amount of time? It is possible to loop on Event.poll and Thread.delay, but that keeps the thread a bit busy. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr