]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/webdb_convert.ml
support for printing the number of objects grouped by flavour
[helm.git] / matitaB / matita / webdb_convert.ml
1 (* Copyright (C) 2004-2011, HELM Team.
2  * 
3  * This file is part of HELM, an Hypertextual, Electronic
4  * Library of Mathematics, developed at the Computer Science
5  * Department, University of Bologna, Italy.
6  * 
7  * HELM is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  * 
12  * HELM is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with HELM; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
20  * MA  02111-1307, USA.
21  * 
22  * For details, see the HELM World-Wide-Web page,
23  * http://helm.cs.unibo.it/
24  *)
25
26 type session_id = Uuidm.t
27
28 (* user table: user id, (password, optional session id) *)
29 type user = string * (string * session_id option)
30
31 let user_tbl = (ref [] : user list ref)
32
33 let lookup_user uid = List.assoc uid !user_tbl
34
35 let get_users () = List.map fst !user_tbl
36
37 (* serialization and deserialization of the user table *)
38 let config_path () =
39   let path = Helm_registry.get "matita.basedir" in
40   let dirname = Filename.dirname path in
41   HExtlib.mkdir dirname;
42   path
43 ;;
44
45 let deserialize () =
46   try
47     let utbl_ch = open_in (config_path () ^ "/usertable.dump.old") in
48     user_tbl := Marshal.from_channel utbl_ch;
49     close_in utbl_ch;
50   with
51     | Sys_error _ -> 
52        user_tbl := []
53 ;;
54
55 let _ =
56   MatitaInit.initialize_all ();        
57   deserialize ();
58   let users = get_users () in
59   List.iter
60     (fun uid ->
61      let pw,_ = lookup_user uid in
62      MatitaAuthentication.add_user_no_checkout uid pw)
63     users
64 ;;