Changed behavior in matitaweb.js, function retrieveFile (it is now

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

index 5abb8ad07e8f90dd03f0e718556b0127d8aa72e5..61b2dc5479a311eddd69c2b7c831fdee11647b3f 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