diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/app.js | 4 | ||||
| -rw-r--r-- | web/style.css | 4 |
2 files changed, 8 insertions, 0 deletions
@@ -782,6 +782,10 @@ function renderTasksIntoContainer(tasks, container, emptyMsg) { // Remove cards for tasks no longer in this list for (const [id, card] of existingCards.entries()) { if (!taskIds.has(id)) { + if (taskLogStreams[id]) { + taskLogStreams[id].source.close(); + delete taskLogStreams[id]; + } card.remove(); existingCards.delete(id); } diff --git a/web/style.css b/web/style.css index f8ed1e7..8db65aa 100644 --- a/web/style.css +++ b/web/style.css @@ -2229,6 +2229,10 @@ dialog label select:focus { word-break: break-word; } +.task-log-tail.running-log { + max-height: 300px; +} + .task-log-tail-placeholder { color: var(--text-muted); font-size: 0.8rem; |
