From 3b88d3315fe9a716d32cc51adb2e2d151cd447e8 Mon Sep 17 00:00:00 2001 From: matitaweb Date: Wed, 19 Oct 2011 15:58:38 +0000 Subject: [PATCH] Matitaweb: added a function MatitaAuthentication.get_users returning the list of the registered users. --- matitaB/matita/matitaAuthentication.ml | 2 ++ matitaB/matita/matitaAuthentication.mli | 2 ++ 2 files changed, 4 insertions(+) diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml index 2d9b377ca..7ae548058 100644 --- 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 feb139837..ccb0af73f 100644 --- 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 -- 2.39.2