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.5 required=5.0 tests=NO_REAL_NAME,SPF_PASS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 00C55BC6B for ; Wed, 27 Jun 2007 23:55:50 +0200 (CEST) Received: from rouge.crans.org (rouge.crans.org [138.231.136.3]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5RLtoG2030978 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 27 Jun 2007 23:55:50 +0200 Received: from [192.94.3.51] (LNeuilly-152-22-100-127.w193-251.abo.wanadoo.fr [193.251.47.127]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTP id 35F718079 for ; Wed, 27 Jun 2007 23:55:48 +0200 (CEST) Message-ID: <4682DCDF.5000301@crans.org> Date: Wed, 27 Jun 2007 23:55:43 +0200 From: sayan@crans.org User-Agent: Mozilla-Thunderbird 2.0.0.4 (X11/20070621) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Waiting for float time Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 4682DCE6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; threads:01 gtk:01 crans:98 unix:01 unix:01 float:03 handler:03 library:03 i'd:05 standard:07 timer:08 function:08 function:08 rather:08 sebastien:09 Hi, I am looking for a floating point version of the function Unix.sleep in order to suspend execution of a program for 0.7s Is there any such function in the standard library ? Is there a solution outside of Threads, and GTK ? I have looked at Unix.interval_timer but I'd rather not use it. From what I understand, you have to add a signal handler to catch sigalrm, and I do not see how to create a sleep function using it. Is there a multiplatform solution ? Thanks -- Sébastien