reload.js.exp 562 B

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