Matitaweb: added a function MatitaAuthentication.get_users returning

the list of the registered users.

diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml
index 2d9b377cab7006a75bcdccf1375e6880377de5aa..7ae548058abea4efed9272e96645776ec3b03cc4 100644 (file)
--- a/matitaB/matita/matitaAuthentication.ml
+++ b/matitaB/matita/matitaAuthentication.ml
@@ -43,6 +43,8 @@ let lookup_user uid = List.assoc uid !user_tbl
 
 let user_of_session sid = let res,_,_ = List.assoc sid !session_tbl in res
 
+let get_users () = List.map fst !user_tbl
+
 let create_session uid =
   let status = new MatitaEngine.status (Some uid) "cic:/matita" in
   let history = [status] in

diff --git a/matitaB/matita/matitaAuthentication.mli b/matitaB/matita/matitaAuthentication.mli
index feb13983776c4144a55b02a261d8744d5f22f8d1..ccb0af73f19af0ba4f40f5f66eed6f8aaa1e6add 100644 (file)
--- a/matitaB/matita/matitaAuthentication.mli
+++ b/matitaB/matita/matitaAuthentication.mli
@@ -31,6 +31,8 @@ val lookup_user : string -> (string * session_id option)
 
 val user_of_session : session_id -> string
 
+val get_users : unit -> string list
+
 val create_session : string -> session_id
 
 val get_session_owner : session_id -> string