diff --git a/media/js/profile.js b/media/js/profile.js index 8ef235e81f5132af2f0448cf7f365dd9c2013279..aea86e7cb69689c6e4f2817f50750fdd7d29128d 100644 --- a/media/js/profile.js +++ b/media/js/profile.js @@ -43,24 +43,15 @@ $(function () { function closeSession() { - $.ajax({ - type: "POST", - url: URLdir + "handler/Session/closeSession", - success: function (data) { - $('.popup_overlay').css('display', 'block'); - jLogin.focus(); - } - }); + $.post(URLdir + 'handler/Session/closeSession') + .done(_ => { $('.popup_overlay').show(); jLogin.focus() }); } function setSessionTimer(time) { let updateTime = () => - $.post(URLdir + 'handler/Session/getSessionTime', {}) - .done(function (data) { - let wait = parseInt(data, 10); - wait <= 10 ? closeSession() : setSessionTimer(wait - 10); - }, 'json'); - + $.postJSON(URLdir + 'handler/Session/getSessionTime', {}) + .done(wait => (wait <= 10) ? closeSession() : setSessionTimer(wait - 10)); + setTimeout(updateTime, 1000 * time); }