Update static/app.js

static/app.js

@@ -16,25 +16,74 @@ function updateInfo() {
   let pieces = Object.keys(pos).length;
 }
 
+// function search() {
+//   let pos = board.position();
+//   if (Object.keys(pos).length < 3) {
+//     document.getElementById("results").innerHTML =
+//       "<p>Add at least 3 pieces to search.</p>";
+//     return;
+//   }
+//   document.getElementById("results").innerHTML = "<p>Searching...</p>";
+//   fetch("/search", {
+//     method: "POST",
+//     headers: { "Content-Type": "application/json" },
+//     body: JSON.stringify({ fen: board.fen() }),
+//   })
+//     .then((r) => r.json())
+//     .then((data) => {
+//       allResults = data.results;
+//       window.searchTimeMs = data.time_ms;
+//       currentPage = 0;
+//       displayPage();
+//     });
+// }
+
+
 function search() {
   let pos = board.position();
   if (Object.keys(pos).length < 3) {
-    document.getElementById("results").innerHTML =
-      "<p>Add at least 3 pieces to search.</p>";
+    document.getElementById("results").innerHTML = "<p>Add at least 3 pieces to search.</p>";
     return;
   }
+  
+  allResults = [];
   document.getElementById("results").innerHTML = "<p>Searching...</p>";
+  const startTime = performance.now();
+  
   fetch("/search", {
     method: "POST",
     headers: { "Content-Type": "application/json" },
     body: JSON.stringify({ fen: board.fen() }),
   })
-    .then((r) => r.json())
-    .then((data) => {
-      allResults = data.results;
-      window.searchTimeMs = data.time_ms;
-      currentPage = 0;
-      displayPage();
+    .then(r => r.body.getReader())
+    .then(reader => {
+      const decoder = new TextDecoder();
+      let buffer = '';
+      
+      function read() {
+        reader.read().then(({done, value}) => {
+          if (done) {
+            window.searchTimeMs = performance.now() - startTime;
+            currentPage = 0;
+            displayPage();
+            return;
+          }
+          
+          buffer += decoder.decode(value, {stream: true});
+          const lines = buffer.split('\n');
+          buffer = lines.pop();
+          
+          lines.forEach(line => {
+            if (line.trim()) {
+              allResults.push(JSON.parse(line));
+              if (allResults.length === 1 || allResults.length % 20 === 0) displayPage();
+            }
+          });
+          
+          read();
+        });
+      }
+      read();
     });
 }