From 3cb9dd1f0460b9c5d91e8c42c3bba9b23091c0e7 Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Wed, 6 Oct 2021 18:08:03 +0200 Subject: [PATCH] fix(UI): Increase timeout during grading --- src/app/learnocaml_exercise_main.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/app/learnocaml_exercise_main.ml b/src/app/learnocaml_exercise_main.ml index da75905e3..f0492a58b 100644 --- a/src/app/learnocaml_exercise_main.ml +++ b/src/app/learnocaml_exercise_main.ml @@ -223,7 +223,8 @@ let () = Manip.Ev.onclick btn (fun _ -> Lwt.wakeup u () ; true) ; let div = Tyxml_js.Html5.(div ~a: [ a_class [ "dialog" ] ] - [ txt [%i"Grading is taking a lot of time, "] ; + [ txt [%i"Grading is taking a lot of time, \ + maybe your code is looping? "] ; btn ; txt " ?" ]) in Manip.SetCss.opacity div (Some "0") ; @@ -249,7 +250,7 @@ let () = Lwt.return_unit) in let abortion = - Lwt_js.sleep 5. >>= fun () -> + Lwt_js.sleep 15. >>= fun () -> Manip.SetCss.opacity abort_message (Some "1") ; aborted >>= fun () -> Lwt.return Learnocaml_report.[ Message ([ Text [%i"Grading aborted by user."] ], Failure) ] in