blob: fd232bc116b079eb10b8a432d11767ede3231a54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
(***********************************************************************)
(* *)
(* MLTk, Tcl/Tk interface of OCaml *)
(* *)
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
(* projet Cristal, INRIA Rocquencourt *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique and Kyoto University. All rights reserved. *)
(* This file is distributed under the terms of the GNU Library *)
(* General Public License, with the special exception on linking *)
(* described in file LICENSE found in the OCaml source tree. *)
(* *)
(***********************************************************************)
(* $Id$ *)
(* Timers *)
open Protocol
type tkTimer = int
external internal_add_timer : int -> cbid -> tkTimer
= "camltk_add_timer"
external internal_rem_timer : tkTimer -> unit
= "camltk_rem_timer"
type t = tkTimer * cbid (* the token and the cb id *)
(* A timer is used only once, so we must clean the callback table *)
let add ~ms ~callback =
if !Protocol.debug then begin
prerr_string "Timer.add "; flush stderr;
end;
let id = new_function_id () in
if !Protocol.debug then begin
prerr_string "id="; prerr_cbid id; flush stderr;
end;
let wrapped _ =
clear_callback id; (* do it first in case f raises exception *)
callback() in
Hashtbl.add callback_naming_table id wrapped;
let t = internal_add_timer ms id in
if !Protocol.debug then begin
prerr_endline " done"
end;
t,id
let set ~ms ~callback = ignore (add ~ms ~callback);;
(* If the timer has never been used, there is a small space leak in
the C heap, where a copy of id has been stored *)
let remove (tkTimer, id) =
internal_rem_timer tkTimer;
clear_callback id
|
