Upload files to "/"

2026-07-27 00:45:14 +00:00
parent fbc2fb9a65
commit d1ea7b4826
3 changed files with 15 additions and 3 deletions
@@ -209,6 +209,9 @@
      // Build a quick lookup for headers by file name
      const headersByFile = new Map(datasets.map(d => [d.fileName, d.headers]));

+      // Total search time only
+      const t0 = performance.now();
+
      try {
        setStatus(`searching for "${term}"...`);
        outEl.textContent = `Searching: "${term}"`;
@@ -298,7 +301,8 @@
            lines.join("\n\n");
        }

-        setStatus("done.");
+        const t1 = performance.now();
+        setStatus(`done. Search time: ${(t1 - t0).toFixed(0)} ms`);
      } catch (e) {
        console.error(e);
        setStatus("failed.");