diff --git a/webui/static/pages-extra.js b/webui/static/pages-extra.js index 5b7fbe35..8dfd2f19 100644 --- a/webui/static/pages-extra.js +++ b/webui/static/pages-extra.js @@ -2274,6 +2274,7 @@ let _adlBatchHistory = []; let _adlExpandedBatches = new Set(); let _adlBatchHistoryPoller = null; let _adlFilterBatchId = null; // When set, main list shows only this batch +let _adlFetchCount = 0; // used to rate-limit periodic quarantine refresh const _batchColorMap = {}; const _batchCompletedAt = {}; // batch_id -> timestamp when first seen as complete let _batchColorNext = 0; @@ -2407,6 +2408,10 @@ async function _adlFetch() { } catch (e) { console.error('Downloads page fetch error:', e); } + // Refresh the quarantine panel every ~15 s (every 7 polls × 2 s) so new + // quarantine entries created during a batch appear without a manual click. + _adlFetchCount++; + if (_adlFetchCount % 7 === 0) _verifLoadQuarantine(true); } function _adlUpdateBadge() { @@ -3152,7 +3157,7 @@ function _adlRender() {