Searched refs:ourLockTimerIntervalID (Results 1 – 1 of 1) sorted by last modified time
8 var ourLockTimerIntervalID; variable173 if(ourLockTimerIntervalID) {174 window.clearInterval(ourLockTimerIntervalID);177 ourLockTimerIntervalID = window.setInterval(function () { locktimer.refresh(); }, 30000);