From d7215b2c804bbf8febb1674400f567c8abec0e91 Mon Sep 17 00:00:00 2001 From: Sidharth Vinod Date: Sun, 13 Aug 2023 20:17:30 +0530 Subject: [PATCH] chore: Add build times to live reload --- .esbuild/server.ts | 2 ++ demos/dev/example.html | 8 +++++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.esbuild/server.ts b/.esbuild/server.ts index e25c0f71421..20f00280f8f 100644 --- a/.esbuild/server.ts +++ b/.esbuild/server.ts @@ -51,8 +51,10 @@ function handleFileChange() { clearTimeout(timeoutId); } timeoutId = setTimeout(async () => { + const time = Date.now(); await rebuildAll(); sendEventsToAll(); + console.log('Rebuild & Refresh complete in' + (Date.now() - time) + 'ms'); timeoutId = undefined; }, 100); } diff --git a/demos/dev/example.html b/demos/dev/example.html index c13bd03ca19..8a8c5557e92 100644 --- a/demos/dev/example.html +++ b/demos/dev/example.html @@ -5,6 +5,8 @@ Mermaid development page + 
info
+ 
 graph TB
       a --> b
@@ -44,8 +46,8 @@
             location.reload();
           }
         };
-        events.onerror = (error) => {
-          console.error(error);
+        events.onerror = () => {
+          // No need to log this error, as it's not useful.
           events.close();
           // Try to reconnect after 1 second in case of errors
           setTimeout(connectToEvents, 1000);
@@ -55,7 +57,7 @@
         };
       };
       if (liveReload) {
-        connectToEvents();
+        setTimeout(connectToEvents, 1000);
       }