fix "double asking to reload" bugs in an unsatisfying one

I don't know why it was logged twice, but using the tricks of "Asking browserS to reload" I can make it log only once. Signed-off-by: Paul-Elliot <[email protected]>
panglesd · Feb 16, 2024 · 7d22bf4 · 7d22bf4
1 parent 762a091
commit 7d22bf4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/compiler/src/bin/native/serve.ml b/compiler/src/bin/native/serve.ml
@@ -42,12 +42,11 @@ let do_serve input f =
           @@ Dream.router
                [
                  Dream.get "/" (fun _ ->
-                     Dream.log "Browser reloaded";
+                     Dream.log "A browser reloaded";
                      Dream.html !content);
                  Dream.get "/_livereload" (fun _ ->
                      Dream.websocket (fun socket ->
                          let* () = !waiter in
-                         Dream.log "Asking browser to reload";
                          Dream.close_websocket socket));
                ]
         in
@@ -56,10 +55,12 @@ let do_serve input f =
           content := new_content;
           let* _event = Lwt_inotify.read inotify in
           Logs.app (fun m -> m "Recompiling");
-          Lwt.wakeup_later !resolver ();
+          let old_resolver = !resolver in
           let nwaiter, nresolver = Lwt.wait () in
           waiter := nwaiter;
           resolver := nresolver;
+          Dream.log "Asking browsers to reload";
+          Lwt.wakeup_later old_resolver ();
           loop ()
         in
         loop ()