| | |
| | | await Http.fetchMapData(); |
| | | websocket.connect(); |
| | | websocket.onMessage = (data) => { |
| | | console.log("ws", data); |
| | | |
| | | // Tool.updateMapStatusInRealTime(data, () => curFloorRef.current, setCurSPrite); |
| | | Tool.generateDynamicGraphic(curZone, data); |
| | | } |
| | | |
| | | setTimeout(() => { |
| | |
| | | parentElement.style.paddingLeft = param; |
| | | parentElement.style.paddingRight = param; |
| | | } |
| | | } |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | // dynamic graphic ---------------- |
| | | |
| | | export const generateDynamicGraphic = (curZone, data) => { |
| | | |
| | | const dynamicData = JSON.parse(data); |
| | | console.log("ws", curZone, dynamicData); |
| | | |
| | | } |