Searched refs:locktimer (Results 1 – 2 of 2) sorted by relevance
2 var locktimer = dw_locktimer; variable30 if(window.locktimer && !ourLockTimerINI) {31 locktimer.old_reset = locktimer.reset;32 locktimer.old_warning = locktimer.warning; 40 locktimer.reset = function(){41 locktimer.clear(); // alert(locktimer.timeout);43 …rLockTimerWarningtimerID = window.setTimeout(function () { locktimer.warning(); }, locktimer.time…46 locktimer.warning = function(){ 57 locktimer.ourLockTimerReset = locktimer.reset;58 locktimer.our_lasttime = new Date();[all …]
69 locktimer.refresh = function(){72 if(now.getTime() - locktimer.lasttime.getTime() > 30*1000){ //FIXME decide on time73 var params = 'call=lock&id='+encodeURIComponent(locktimer.pageid);74 if(locktimer.draft){84 locktimer.sack.runAJAX(params);85 locktimer.lasttime = now;