codex-autorunner 0.1.2__py3-none-any.whl → 1.0.0__py3-none-any.whl

codex_autorunner/static/hub.js

@@ -1,17 +1,12 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 import { api, flash, statusPill, resolvePath, escapeHtml, confirmModal, inputModal, openModal, } from "./utils.js";
 import { registerAutoRefresh } from "./autoRefresh.js";
 import { HUB_BASE } from "./env.js";
 let hubData = { repos: [], last_scan_at: null };
-const repoPrCache = new Map();
-const repoPrFetches = new Set();
 const prefetchedUrls = new Set();
 const HUB_CACHE_TTL_MS = 30000;
 const HUB_CACHE_KEY = `car:hub:${HUB_BASE || "/"}`;
 const HUB_USAGE_CACHE_KEY = `car:hub-usage:${HUB_BASE || "/"}`;
-const PR_CACHE_TTL_MS = 120000;
-const PR_FAILURE_TTL_MS = 15000;
-const PR_FETCH_CONCURRENCY = 3;
-const PR_PREFETCH_MARGIN = "200px";
 const HUB_REFRESH_ACTIVE_MS = 5000;
 const HUB_REFRESH_IDLE_MS = 30000;
 let lastHubAutoRefreshAt = 0;
@@ -27,6 +22,8 @@ const hubUsageChartCanvas = document.getElementById("hub-usage-chart-canvas");
 const hubUsageChartRange = document.getElementById("hub-usage-chart-range");
 const hubUsageChartSegment = document.getElementById("hub-usage-chart-segment");
 const hubVersionEl = document.getElementById("hub-version");
+const hubInboxList = document.getElementById("hub-inbox-list");
+const hubInboxRefresh = document.getElementById("hub-inbox-refresh");
 const UPDATE_STATUS_SEEN_KEY = "car_update_status_seen";
 const HUB_JOB_POLL_INTERVAL_MS = 1200;
 const HUB_JOB_TIMEOUT_MS = 180000;
@@ -37,10 +34,6 @@ const hubUsageChartState = {
 };
 let hubUsageSeriesRetryTimer = null;
 let hubUsageSummaryRetryTimer = null;
-const repoPrPending = new Set();
-const repoPrQueue = [];
-let repoPrActive = 0;
-let repoPrObserver = null;
 function saveSessionCache(key, value) {
     try {
         const payload = { at: Date.now(), value };
@@ -758,76 +751,9 @@ function inferBaseId(repo) {
     }
     return null;
 }
-function initRepoPrObserver() {
-    if (!("IntersectionObserver" in window))
-        return null;
-    if (repoPrObserver)
-        return repoPrObserver;
-    repoPrObserver = new IntersectionObserver((entries) => {
-        entries.forEach((entry) => {
-            if (!entry.isIntersecting)
-                return;
-            const target = entry.target;
-            const repoId = target?.dataset?.repoId;
-            if (repoId) {
-                const repo = (hubData.repos || []).find((item) => item.id === repoId);
-                if (repo)
-                    scheduleRepoPrFetch(repo);
-            }
-            if (target)
-                repoPrObserver?.unobserve(target);
-        });
-    }, { rootMargin: PR_PREFETCH_MARGIN });
-    return repoPrObserver;
-}
-function scheduleRepoPrFetch(repo) {
-    if (!repo || repo.mounted !== true)
-        return;
-    const cached = repoPrCache.get(repo.id);
-    if (cached &&
-        typeof cached.fetchedAt === "number" &&
-        Date.now() - cached.fetchedAt <
-            (cached.failed ? PR_FAILURE_TTL_MS : PR_CACHE_TTL_MS)) {
-        return;
-    }
-    if (repoPrFetches.has(repo.id) || repoPrPending.has(repo.id))
-        return;
-    repoPrPending.add(repo.id);
-    repoPrQueue.push(repo);
-    pumpRepoPrQueue();
-}
-function pumpRepoPrQueue() {
-    while (repoPrActive < PR_FETCH_CONCURRENCY && repoPrQueue.length) {
-        const repo = repoPrQueue.shift();
-        if (!repo || repoPrFetches.has(repo.id))
-            continue;
-        repoPrPending.delete(repo.id);
-        repoPrActive += 1;
-        repoPrFetches.add(repo.id);
-        api(`/repos/${repo.id}/api/github/pr`, { method: "GET" })
-            .then((pr) => {
-            repoPrCache.set(repo.id, { data: pr, fetchedAt: Date.now() });
-        })
-            .catch(() => {
-            repoPrCache.set(repo.id, {
-                data: null,
-                fetchedAt: Date.now(),
-                failed: true,
-            });
-        })
-            .finally(() => {
-            repoPrFetches.delete(repo.id);
-            repoPrActive -= 1;
-            pumpRepoPrQueue();
-            renderRepos(hubData.repos || []);
-        });
-    }
-}
 function renderRepos(repos) {
     if (!repoListEl)
         return;
-    if (repoPrObserver)
-        repoPrObserver.disconnect();
     repoListEl.innerHTML = "";
     if (!repos.length) {
         repoListEl.innerHTML =
@@ -902,12 +828,6 @@ function renderRepos(repos) {
         const infoLine = infoItems.length > 0
             ? `<span class="hub-repo-info-line">${escapeHtml(infoItems.join(" · "))}</span>`
             : "";
-        const prInfo = repoPrCache.get(repo.id)?.data;
-        const prPill = prInfo?.links?.files
-            ? `<a class="pill pill-small hub-pr-pill" href="${escapeHtml(prInfo.links.files)}" target="_blank" rel="noopener noreferrer" title="${escapeHtml(prInfo.pr?.title || "Open PR files")}">PR${prInfo.pr?.number
-                ? ` #${escapeHtml(prInfo.pr.number)}`
-                : ""}</a>`
-            : "";
         card.innerHTML = `
       <div class="hub-repo-row">
         <div class="hub-repo-left">
@@ -920,7 +840,6 @@ function renderRepos(repos) {
           <span class="hub-repo-title">${escapeHtml(repo.display_name)}</span>
           <div class="hub-repo-subline">
             ${infoLine}
-            ${prPill}
           </div>
         </div>
         <div class="hub-repo-right">
@@ -935,15 +854,6 @@ function renderRepos(repos) {
             statusPill(statusEl, repo.status);
         }
         repoListEl.appendChild(card);
-        if (repo.mounted === true) {
-            const observer = initRepoPrObserver();
-            if (observer) {
-                observer.observe(card);
-            }
-            else {
-                scheduleRepoPrFetch(repo);
-            }
-        }
     };
     orderedGroups.forEach((group) => {
         const repo = group.base;
@@ -980,25 +890,6 @@ function renderRepos(repos) {
             .forEach((wt) => renderRepoCard(wt, { isWorktreeRow: true }));
     }
 }
-async function refreshRepoPrCache(repos) {
-    const mounted = repos.filter((r) => r && r.mounted === true);
-    if (!mounted.length)
-        return;
-    const observer = initRepoPrObserver();
-    if (observer && repoListEl) {
-        mounted.forEach((repo) => {
-            const card = repoListEl.querySelector(`[data-repo-id="${repo.id}"]`);
-            if (card) {
-                observer.observe(card);
-            }
-            else {
-                scheduleRepoPrFetch(repo);
-            }
-        });
-        return;
-    }
-    mounted.forEach((repo) => scheduleRepoPrFetch(repo));
-}
 async function refreshHub() {
     setButtonLoading(true);
     try {
@@ -1008,7 +899,7 @@ async function refreshHub() {
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
         renderRepos(data.repos || []);
-        await refreshRepoPrCache(data.repos || []).catch(() => { });
+        await loadHubInbox().catch(() => { });
         await loadHubUsage().catch(() => { });
     }
     catch (err) {
@@ -1018,6 +909,40 @@ async function refreshHub() {
         setButtonLoading(false);
     }
 }
+async function loadHubInbox() {
+    if (!hubInboxList)
+        return;
+    hubInboxList.innerHTML = "Loading…";
+    try {
+        const payload = (await api("/hub/messages", { method: "GET" }));
+        const items = payload?.items || [];
+        if (!items.length) {
+            hubInboxList.innerHTML = '<div class="muted">No paused runs</div>';
+            return;
+        }
+        hubInboxList.innerHTML = items
+            .map((item) => {
+            const title = item.message?.title || item.message?.mode || "Message";
+            const excerpt = item.message?.body ? item.message.body.slice(0, 160) : "";
+            const repoLabel = item.repo_display_name || item.repo_id;
+            const href = item.open_url || `/repos/${item.repo_id}/?tab=messages&run_id=${item.run_id}`;
+            return `
+          <a class="hub-inbox-item" href="${escapeHtml(resolvePath(href))}">
+            <div class="hub-inbox-item-header">
+              <span class="hub-inbox-repo">${escapeHtml(repoLabel)}</span>
+              <span class="pill pill-small pill-warn">paused</span>
+            </div>
+            <div class="hub-inbox-title">${escapeHtml(title)}</div>
+            <div class="hub-inbox-excerpt muted small">${escapeHtml(excerpt)}</div>
+          </a>
+        `;
+        })
+            .join("");
+    }
+    catch (_err) {
+        hubInboxList.innerHTML = '';
+    }
+}
 async function triggerHubScan() {
     setButtonLoading(true);
     try {
@@ -1266,11 +1191,6 @@ function attachHubHandlers() {
     if (repoListEl) {
         repoListEl.addEventListener("click", (event) => {
             const target = event.target;
-            const prLink = target instanceof HTMLElement && target.closest("a.hub-pr-pill");
-            if (prLink) {
-                event.stopPropagation();
-                return;
-            }
             const btn = target instanceof HTMLElement && target.closest("button[data-action]");
             if (btn) {
                 event.stopPropagation();
@@ -1387,6 +1307,9 @@ export function initHub() {
         return;
     attachHubHandlers();
     initHubUsageChartControls();
+    hubInboxRefresh?.addEventListener("click", () => {
+        void loadHubInbox();
+    });
     const cachedHub = loadSessionCache(HUB_CACHE_KEY, HUB_CACHE_TTL_MS);
     if (cachedHub) {
         hubData = cachedHub;