X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaAuthentication.ml;fp=matitaB%2Fmatita%2FmatitaAuthentication.ml;h=a183bc42033d8ed14ef487c86a79e68043ba978b;hb=5952e8ed7a1deffe8766f4ffb4cd6f97ba803d06;hp=ad6bec47d6915bad556bc737660a4e723ce7e49b;hpb=4b54dde3aab6d58ab11c5bafd291b65af241e28e;p=helm.git

diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml
index ad6bec47d..a183bc420 100644
--- a/matitaB/matita/matitaAuthentication.ml
+++ b/matitaB/matita/matitaAuthentication.ml
@@ -120,3 +120,10 @@ let add_user uid pw =
     user_tbl := (uid,(pw,None))::!user_tbl;
     serialize ()
 ;;
+
+let reset () =
+  user_tbl := [];
+  session_tbl := [];
+  MatitaFilesystem.reset_lib ();
+  serialize ();
+;;