Matitaweb: implementation of file-flagging for keeping track of modified files

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

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index fb75e6579308d95c3cfb1f5339cb70d8b40d198c..0253eabc2021b107df7f753f22a47ac5952d0323 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -384,7 +384,8 @@ let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
         (* prerr_endline ("done."); *)
        end;
      end;
-    MatitaAuthentication.set_file_flag uid rel_filename MatitaFilesystem.MModified;
+    MatitaAuthentication.set_file_flag uid 
+      [rel_filename, Some MatitaFilesystem.MModified];
     cgi # set_header 
       ~cache:`No_cache 
       ~content_type:"text/xml; charset=\"utf-8\""
@@ -440,6 +441,7 @@ let svn_update (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
       let changed = String.concat "\n" changed in
       let anomalies = String.concat "\n" anomalies in
       prerr_endline ("Changed:\n" ^ changed ^ "\n\nAnomalies:\n" ^ anomalies); *)
+    MatitaAuthentication.set_file_flag uid files;
     cgi # set_header 
       ~cache:`No_cache 
       ~content_type:"text/xml; charset=\"utf-8\""