#

Junjie

2025-07-06 0d04bc5d8080b82338302fba0a59fccff2eaedfc

 zy-asrs-flow/src/pages/device/lift/index.jsx

@@ -6,6 +6,7 @@
    PageContainer,
} from '@ant-design/pro-components';
import './index.less'
import { WEBSOCKET_BASE_URL } from '@/config/setting';

const Main = () => {
    const [deviceInfos, setDeviceInfos] = useState([]);
@@ -16,8 +17,7 @@
    const [mapLev, setMapLev] = useState([]);

    useEffect(() => {
        var newWs = new WebSocket("ws://127.0.0.1:9090/wcs/ws/lift/websocket");
        setWs(newWs);
        connect();

        getMapLev();

@@ -55,6 +55,7 @@

            ws.onclose = function (e) {
                console.log("close");
                reconnect();
            }

            ws.onerror = function (e) {
@@ -62,6 +63,18 @@
            }
        }
    }, [ws]);
    
    const connect = () => {
        var newWs = new WebSocket(WEBSOCKET_BASE_URL + "/ws/lift/websocket");
        setWs(newWs);
    }

    const reconnect = () => {
        setTimeout(() => {
            console.log('WebSocketClient: Attempting to reconnect...');
            connect();
        }, 3000);
    }

    const sendWs = (message) => {
        if (ws.readyState == WebSocket.OPEN) {
@@ -90,8 +103,9 @@
        try {
            const resp = await Http.doPost('api/basLift/getMapLev', {});
            if (resp.code === 200) {
                let arr = JSON.parse(resp.data);
                arr.forEach((lev) => {
                let arr = []
                let levList = JSON.parse(resp.data);
                levList.forEach((lev) => {
                    arr.push({
                        value: lev,
                        label: lev
@@ -200,6 +214,16 @@
                        label: '当前层',
                        children: item.lev,
                    },
                    {
                        key: '11',
                        label: '已完成任务号',
                        children: item.completeTaskNo,
                    },
                    {
                        key: '12',
                        label: '扩展',
                        children: JSON.stringify(item.extend),
                    },
                ];
                return <div key={item.id} style={{ width: '45%' }}>
                    <div style={{ marginBottom: '10px' }}>