X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitadaemon.ml;h=5abb8ad07e8f90dd03f0e718556b0127d8aa72e5;hb=66b7f75467ba81224d961beda0ad0e55664c68b6;hp=c21bed2e7c25129d7130633062123f02dc1b8e22;hpb=0466f6387b02f1d0644fb74eacca237e30589111;p=helm.git diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml index c21bed2e7..5abb8ad07 100644 --- a/matitaB/matita/matitadaemon.ml +++ b/matitaB/matita/matitadaemon.ml @@ -268,7 +268,10 @@ let register (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) = let userpw = cgi#argument_value "password" in (try MatitaAuthentication.add_user uid userpw; - env#set_output_header_field "Location" "/index.html" +(* env#set_output_header_field "Location" "/index.html" *) + cgi#outchannel#output_string + ("" + ^ "Redirecting to login page...") with | MatitaAuthentication.UsernameCollision _ -> cgi#set_header @@ -305,7 +308,10 @@ let login (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) = cgi#set_header ~set_cookies:[cookie] (); *) env#set_output_header_field "Set-Cookie" ("session=" ^ (Uuidm.to_string sid)); - env#set_output_header_field "Location" "/index.html" +(* env#set_output_header_field "Location" "/index.html" *) + cgi#outchannel#output_string + ("" + ^ "Redirecting to Matita page...") end else begin