Matitaweb: Some bugfixes concerning file flags.

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

diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml
index 5669658513a13f1d0e03748abbca6157585c9b1c..86189fddf6ec54c8a20995c2b952b7271470e73a 100644 (file)
--- a/matitaB/matita/matitaAuthentication.ml
+++ b/matitaB/matita/matitaAuthentication.ml
@@ -136,7 +136,8 @@ let read_ft uid =
       [] 
 ;;
 
-let set_file_flag uid filename flag = 
+let set_file_flag uid filename flag =
+  let filename = MatitaFilesystem.normalize_qfn filename in 
   let ft = read_ft uid in
   let oldflag = 
     try List.assoc filename ft