S.php.expiredSessionTimer.js 651 B

1234567891011121314151617181920
  1. var DBG = DBG || false;
  2. var DBG1 = 1;
  3. if (!BASE_URL) throw "Mising BASE_URL";
  4. if ('serviceWorker' in navigator) {
  5. navigator.serviceWorker.register(BASE_URL + 'sw.js').then(function() {
  6. return navigator.serviceWorker.ready;
  7. }).then(function (reg) {
  8. DBG && console.log("SW registration succeeded. Scope is "+reg.scope, { reg });
  9. sendMsgToServiceWorker('session_expired');
  10. }).catch(function (err) {
  11. DBG && console.error("SW registration failed with error "+err);
  12. });
  13. }
  14. function sendMsgToServiceWorker(data) {
  15. if (navigator.serviceWorker && navigator.serviceWorker.controller) {
  16. navigator.serviceWorker.controller.postMessage(data);
  17. }
  18. }