Skip to content

Commit

Permalink
fix(UI): Increase timeout during grading
Browse files Browse the repository at this point in the history
  • Loading branch information
AltGr authored and erikmd committed Oct 15, 2021
1 parent 7c11083 commit 3cb9dd1
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/app/learnocaml_exercise_main.ml
Expand Up @@ -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") ;
Expand All @@ -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
Expand Down

0 comments on commit 3cb9dd1

Please sign in to comment.