+let resetLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
+ let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
+ MatitaAuthentication.reset ();
+ cgi # set_header
+ ~cache:`No_cache
+ ~content_type:"text/html; charset=\"utf-8\""
+ ();
+
+ cgi#out_channel#output_string
+ ("<html><head>\n" ^
+ "<title>Matitaweb Reset</title>\n" ^
+ "<body><H1>Reset completed</H1></body></html>");
+ cgi#out_channel#commit_work()
+