Matitaweb: New File functionality.

[helm.git] / matitaB / matita / matitadaemon.ml
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml

index 5abb8ad07e8f90dd03f0e718556b0127d8aa72e5..a07e7e16039489d962b2b318890d1fb21960e133 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -269,7 +269,7 @@ let register (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    (try 
      MatitaAuthentication.add_user uid userpw;
  (*    env#set_output_header_field "Location" "/index.html" *)
-    cgi#outchannel#output_string
+    cgi#out_channel#output_string
       ("<html><head><meta http-equiv=\"refresh\" content=\"2;url=/login.html\">"
       ^ "</head><body>Redirecting to login page...</body></html>")
     with
@@ -309,7 +309,7 @@ let login (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
      env#set_output_header_field 
        "Set-Cookie" ("session=" ^ (Uuidm.to_string sid));
  (*    env#set_output_header_field "Location" "/index.html" *)
-    cgi#outchannel#output_string
+    cgi#out_channel#output_string
       ("<html><head><meta http-equiv=\"refresh\" content=\"2;url=/index.html\">"
       ^ "</head><body>Redirecting to Matita page...</body></html>")
     end
@@ -351,6 +351,8 @@ let logout (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    cgi#out_channel#commit_work()
  ;;
  
+exception File_already_exists;;
+
  let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
    let env = cgi#environment in
@@ -363,7 +365,12 @@ let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
      let locked = cgi#argument_value "locked" in
      let unlocked = cgi#argument_value "unlocked" in
      let filename = libdir uid ^ "/" ^ (cgi # argument_value "file") in
+    let force = bool_of_string (cgi#argument_value "force") in
      prerr_endline ("Matita will save the file for user " ^ uid);
+
+    if ((not force) && (Sys.file_exists filename)) then 
+      raise File_already_exists;
+
      let oc = open_out filename in
      output_string oc (locked ^ unlocked);
      close_out oc;
@@ -382,7 +389,9 @@ let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
        ();
      cgi#out_channel#output_string "<response>ok</response>"
    with
-  | Not_found _ -> 
+  | File_already_exists ->
+      cgi#out_channel#output_string "<response>cancelled</response>"
+  | Sys_error _ -> 
      cgi # set_header
        ~status:`Internal_server_error
        ~cache:`No_cache