autoreload.js 718 B

12345678910111213141516171819202122232425
  1. // Dioxus-CLI
  2. // https://github.com/DioxusLabs/dioxus/tree/master/packages/cli
  3. (function () {
  4. var protocol = window.location.protocol === 'https:' ? 'wss:' : 'ws:';
  5. var url = protocol + '//' + window.location.host + '/_dioxus/ws';
  6. var poll_interval = 8080;
  7. var reload_upon_connect = () => {
  8. window.setTimeout(
  9. () => {
  10. var ws = new WebSocket(url);
  11. ws.onopen = () => window.location.reload();
  12. ws.onclose = reload_upon_connect;
  13. },
  14. poll_interval);
  15. };
  16. var ws = new WebSocket(url);
  17. ws.onmessage = (ev) => {
  18. if (ev.data == "reload") {
  19. window.location.reload();
  20. }
  21. };
  22. ws.onclose = reload_upon_connect;
  23. })()