| 1234567891011121314151617181920212223 |
- const { draw, drawer } = window._PLAYGROUND
- const host = '172.28.149.53'
- const ws = new WebSocket(`ws://${host}:3001`)
- ws.onopen = function () {
- console.log('open')
- }
- ws.onmessage = function (res) {
- console.log('message')
- const data = JSON.parse(res.data)
- console.log(data)
- const ast = data.result
- draw(ast)
- }
- window.addEventListener('unload', () => {
- console.log('window close')
- ws.close()
- })
|