tova 0.4.5 → 0.4.6

package/bin/tova.js

@@ -1319,13 +1319,19 @@ async function generateDevHTML(clientCode, srcDir, reloadPort = 0) {
   const liveReloadScript = reloadPort ? `
   <script>
     (function() {
-      var es = new EventSource("http://localhost:${reloadPort}/__tova_reload");
+      var reloadUrl = "http://localhost:${reloadPort}/__tova_reload";
+      var es = new EventSource(reloadUrl);
+      var errorCount = 0;
+      es.onopen = function() { errorCount = 0; };
       es.onmessage = function(e) { if (e.data === "reload") window.location.reload(); };
       es.onerror = function() {
+        errorCount++;
+        // EventSource auto-reconnects — only intervene after repeated failures
+        if (errorCount < 3) return;
         es.close();
-        // Server is rebuilding — poll until it's back, then reload
+        // SSE server is likely gone (dev server restarting) — poll until back
         var check = setInterval(function() {
-          fetch(window.location.href, { mode: "no-cors" }).then(function() {
+          fetch(reloadUrl, { mode: "no-cors" }).then(function(r) {
             clearInterval(check);
             window.location.reload();
           }).catch(function() {});

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tova",
-  "version": "0.4.5",
+  "version": "0.4.6",
   "description": "Tova — a modern programming language that transpiles to JavaScript, unifying frontend and backend",
   "type": "module",
   "main": "src/index.js",

package/src/version.js

@@ -1,2 +1,2 @@
 // Auto-generated by scripts/embed-runtime.js — do not edit
-export const VERSION = "0.4.5";
+export const VERSION = "0.4.6";