reload.js.exp 515 B

1234567891011121314151617
  1. <@
  2. let reload = expansive.services.reload
  3. if (reload && reload.enable && expansive.package.pak.mode == 'debug') {
  4. @>
  5. $(document).ready(function() {
  6. (function() {
  7. var r = new XMLHttpRequest();
  8. r.onreadystatechange = function() {
  9. if (r.readyState >= 3 && r.status == 200) {
  10. window.location.reload();
  11. }
  12. }
  13. r.open("GET", "/reload-service", true);
  14. r.send();
  15. })();
  16. });
  17. <@ } @>