RenderDispatcher.js 416 B

1234567891011121314151617181920212223
  1. const { draw, drawer } = window._PLAYGROUND
  2. const host = '172.28.149.53'
  3. const ws = new WebSocket(`ws://${host}:3001`)
  4. ws.onopen = function () {
  5. console.log('open')
  6. }
  7. ws.onmessage = function (res) {
  8. console.log('message')
  9. const data = JSON.parse(res.data)
  10. console.log(data)
  11. const ast = data.result
  12. draw(ast)
  13. }
  14. window.addEventListener('unload', () => {
  15. console.log('window close')
  16. ws.close()
  17. })