X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitadaemon.ml;h=840442665e9c047806a9d05243587f3e345ad314;hb=0e81e658803822599b5e015aab67bc282afc9c4d;hp=492edd56e425ac73b9fcbee296021942f288aadb;hpb=9121e9f2de9f4df3e909e30a127214bb0f01c019;p=helm.git

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index 492edd56e..840442665 100644
--- 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