From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C4A02BB94 for ; Mon, 3 Jan 2005 02:58:07 +0100 (CET) Received: from home.mk.pp.ru (av6800.comex.ru [217.10.34.155]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j031w5ie012959 for ; Mon, 3 Jan 2005 02:58:07 +0100 Received: from ermine.home (ermine.home [192.168.2.2]) by home.mk.pp.ru (Postfix) with ESMTP id 7AE2A20D4A for ; Mon, 3 Jan 2005 04:58:02 +0300 (MSK) Received: by ermine.home (Postfix, from userid 1001) id 565693A9E1F; Mon, 3 Jan 2005 04:58:35 +0300 (MSK) Date: Mon, 3 Jan 2005 04:58:35 +0300 From: Anastasia Gornostaeva To: caml-list@yquem.inria.fr Subject: timer Message-ID: <20050103015835.GA22656@ermine.home> Mime-Version: 1.0 Content-Type: text/plain; charset=koi8-r Content-Disposition: inline User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 41D8A6AD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; threads:01 unix:01 unix:01 module:03 implement:05 queue:07 queue:07 i'm:08 timer:08 timer:08 exist:11 but:12 skills:87 enough:13 adding:14 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: Hello. Does exist Timer module, that allows me add/reset/remove timed events? Currently I use Unix.setitimer() for my simple implementation that allows only adding new events into a queue, but my skills is not enough to implement reset and remove events from the Timer queue. And I'm not sure if using Unix.sleep() with setitimer() is safely (without Threads). Thanks. ermine