Added module MatitaFilesystem, to be used for the management of the library

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

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index 492edd56e425ac73b9fcbee296021942f288aadb..840442665e9c047806a9d05243587f3e345ad314 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -492,6 +492,7 @@ let start() =
                 ; "logout", do_logout ]
       () in
   MatitaInit.initialize_all ();
+  prerr_endline (MatitaFilesystem.checkout "ricciott");
   MatitaAuthentication.deserialize ();
   Netplex_main.startup
     parallelizer