]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/netstring_mt.ml
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / netstring_mt.ml
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6 (* Initialize multi-threading mode: *)
7
8 let str_mutex = Mutex.create();;
9 let cgi_mutex = Mutex.create();;
10 let mappings_mutex = Mutex.create();;
11
12 Netstring_str.init_mt
13   (fun () -> Mutex.lock str_mutex)
14   (fun () -> Mutex.unlock str_mutex);
15 Cgi.init_mt
16   (fun () -> Mutex.lock cgi_mutex)
17   (fun () -> Mutex.unlock cgi_mutex);
18 Netmappings.init_mt
19   (fun () -> Mutex.lock mappings_mutex)
20   (fun () -> Mutex.unlock mappings_mutex)
21 ;;
22
23 (* ======================================================================
24  * History:
25  * 
26  * $Log$
27  * Revision 1.1  2000/11/17 09:57:28  lpadovan
28  * Initial revision
29  *
30  * Revision 1.2  2000/08/29 00:45:42  gerd
31  *      Initializing Netmappings, too
32  *
33  * Revision 1.1  2000/06/25 21:15:27  gerd
34  *      Initial revision
35  *
36  * 
37  *)