Searched refs:locktimer (Results 1 – 2 of 2) sorted by relevance
2 var locktimer = dw_locktimer; variable31 locktimer.old_reset = locktimer.reset;32 locktimer.old_warning = locktimer.warning; 40 locktimer.reset = function(){57 locktimer.ourLockTimerReset = locktimer.reset;102 locktimer.clear(); 106 locktimer.reset = locktimer.old_reset; 107 locktimer.refresh(); 117 locktimer.reset = locktimer.ourLockTimerReset; 127 locktimer.refresh();[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;