Function clearBatchWebSocketReconnect

static/js/app.js:1250–1256

()

}

function clearBatchWebSocketReconnect() {
    if (batchWsReconnectTimer) {
        clearTimeout(batchWsReconnectTimer);
        batchWsReconnectTimer = null;
    }
    batchWsReconnectAttempts = 0;
}

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