| | |
| | | |
| | | let player; |
| | | let websocket; |
| | | let isFirstRender = true; |
| | | |
| | | const Map = () => { |
| | | const notify = useNotification(); |
| | |
| | | await Http.fetchMapData(); |
| | | websocket.connect(); |
| | | websocket.onMessage = (wsMsg) => { |
| | | Tool.generateDynamicGraphic(curZone, JSON.parse(wsMsg), () => { |
| | | setDataFetched(true); |
| | | setMode(MAP_MODE.OBSERVER_MODE); |
| | | }); |
| | | Tool.generateDynamicGraphic(curZone, JSON.parse(wsMsg)); |
| | | } |
| | | |
| | | setDataFetched(true); |
| | | setMode(MAP_MODE.OBSERVER_MODE); |
| | | setTimeout(() => { |
| | | player.adaptScreen(); |
| | | notify.info(translate('page.map.welcome')); |
| | |
| | | player.destroy(); |
| | | window.removeEventListener('resize', handleResize); |
| | | Tool.patchRaLayout(''); |
| | | Tool.isF |
| | | }; |
| | | }, []) |
| | | |
| | |
| | | |
| | | |
| | | // dynamic graphic ---------------- |
| | | let isFirstRender = true; |
| | | |
| | | export const generateDynamicGraphic = (curZone, data, callback) => { |
| | | export const generateDynamicGraphic = (curZone, data) => { |
| | | // console.log("ws", curZone, data); |
| | | |
| | | for (const agvVo of data.agvVos) { |
| | | showAgvSprite(curZone, agvVo) |
| | | } |
| | | |
| | | if (isFirstRender) { |
| | | isFirstRender = false; |
| | | callback(); |
| | | } |
| | | } |
| | | |
| | | const showAgvSprite = (curZone, agvVo) => { |