auto

static/solver.html

@@ -429,7 +429,8 @@
           } else {
             body.innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div>${logHtml}<p style="color:#888;">Result file not found. <a href="/api/download/${taskId}">Download workspace</a> instead.</p>`;
           }
-          downloadBtn.href = `/api/download/${taskId}${token ? '?token=' + encodeURIComponent(token) : ''}`;
+          const tkn = getToken();
+          downloadBtn.href = `/api/download/${taskId}`;
           downloadBtn.style.display = 'inline-block';
         } else if (t.status === 'error') {
           const logResp = await api('/api/logs/' + taskId + '?lines=100');