Function disconnectBatchWebSocket

static/js/app.js:2491–2500

()

// 断开批量任务 WebSocket
function disconnectBatchWebSocket() {
    batchWsManualClose = true;
    clearBatchWebSocketReconnect();
    stopBatchWebSocketHeartbeat();
    if (batchWebSocket) {
        const socket = batchWebSocket;
        batchWebSocket = null;
        socket.close();
    }
}

// 开始批量任务心跳
function startBatchWebSocketHeartbeat() {