Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit af2d9279 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

At cast, redirect to login_dummy if enabled

parent bd258527
......@@ -68,6 +68,11 @@ let () =
] ();
];;
let login_default =
let open Services in
if !enable_dummy then login_dummy
else Eliom_service.preapply login_cas None
lwt () =
match !secure_logfile with
| Some x -> Web_common.open_security_log x
......@@ -535,7 +540,7 @@ let () = Eliom_registration.Redirection.register
Eliom_reference.set Services.saved_service (Services.Cast uuid) >>
Eliom_reference.set Services.ballot (Some ballot) >>
match user with
| None -> return (Eliom_service.preapply Services.login_cas None)
| None -> return login_default
| Some u -> Services.get ()
)
)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment