Added viewlib to matitaweb.

[helm.git] / matitaB / matita / matitaAuthentication.ml

diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml
index 8b23cc948e72f0325e778d1c9bb48599db44ceec..ad6bec47d6915bad556bc737660a4e723ce7e49b 100644 (file)
--- a/matitaB/matita/matitaAuthentication.ml
+++ b/matitaB/matita/matitaAuthentication.ml
@@ -39,6 +39,8 @@ exception UsernameCollision of string
 
 let lookup_user uid = List.assoc uid !user_tbl
 
+let user_of_session sid = let res,_,_ = List.assoc sid !session_tbl in res
+
 let create_session uid =
   let status = new MatitaEngine.status (Some uid) "cic:/matita" in
   let history = [status] in