chore: Add build times to live reload

mermaid-js · Aug 13, 2023 · d7215b2 · d7215b2
1 parent 88818b4
commit d7215b2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git 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
@@ -5,6 +5,8 @@
     <title>Mermaid development page</title>
   </head>
   <body>
+    <pre class="mermaid">info</pre>
+
     <pre id="diagram" class="mermaid">
 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);
       }
     </script>
   </body>