Ot_spinner: make sure that the onloaded event is never destroyed

ocsigen · Jun 24, 2016 · 910956f · 910956f
1 parent 5cb3928
commit 910956f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/widgets/ot_spinner.eliom b/src/widgets/ot_spinner.eliom
@@ -53,6 +53,9 @@ let%server with_spinner ?(a = []) ?fail thread =
 
 let num_active_spinners, set_num_active_spinners = React.S.create 0
 let onloaded, set_onloaded = React.E.create ()
+(* Make sure the signal is not destroyed indirectly
+   by a call to React.E.stop *)
+let _ = ignore (React.E.map (fun _ -> ()) onloaded)
 let _ = Eliom_client.onload @@ fun () ->
   if React.S.value num_active_spinners = 0 then set_onloaded ()
 let inc_active_spinners () =