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
|
(* $Id: netstring_mt.ml,v 1.2 2000/08/29 00:45:42 gerd Exp $
* ----------------------------------------------------------------------
*
*)
(* Initialize multi-threading mode: *)
let str_mutex = Mutex.create();;
let cgi_mutex = Mutex.create();;
let mappings_mutex = Mutex.create();;
Netstring_str.init_mt
(fun () -> Mutex.lock str_mutex)
(fun () -> Mutex.unlock str_mutex);
Cgi.init_mt
(fun () -> Mutex.lock cgi_mutex)
(fun () -> Mutex.unlock cgi_mutex);
Netmappings.init_mt
(fun () -> Mutex.lock mappings_mutex)
(fun () -> Mutex.unlock mappings_mutex)
;;
(* ======================================================================
* History:
*
* $Log: netstring_mt.ml,v $
* Revision 1.2 2000/08/29 00:45:42 gerd
* Initializing Netmappings, too
*
* Revision 1.1 2000/06/25 21:15:27 gerd
* Initial revision
*
*
*)
|
