Function scheduleWebSocketReconnect

static/js/app.js:1258–1271

(taskUuid)

}

function scheduleWebSocketReconnect(taskUuid) {
    if (!taskUuid || wsReconnectTimer || wsManualClose || taskCompleted || taskFinalStatus !== null || activeTaskUuid !== taskUuid) {
        return;
    }

    wsReconnectAttempts += 1;
    const delay = getReconnectDelay(wsReconnectAttempts);
    addLog('warning', `[系统] WebSocket 已断开，${delay / 1000} 秒后尝试重连任务监控...`);

    wsReconnectTimer = setTimeout(() => {
        wsReconnectTimer = null;
        connectWebSocket(taskUuid);
    }, delay);
}

function scheduleBatchWebSocketReconnect(batchId) {
    if (!batchId || batchWsReconnectTimer || batchWsManualClose || batchCompleted || batchFinalStatus !== null || activeBatchId !== batchId) {