rem: setTimeout(cronjob, that.getRefresh); 
add: setTimeout(cronjob, that.getRefresh()); 
context:   that.onDOMContentLoad = function(event) {    if (event.originalTarget.nodeName != "#document") { return; }    var doc = event.originalTarget;    var id = cron[doc.ItsAllText_CronJobID];    if (!id) {      id = cron.push(null);      doc.ItsAllText_CronJobID = id;    }    //that.log('onDOMContentLoad: start',id);    var lasttime = new Date().valueOf();    /**     * This sets up the autorefresh for a given page.     */    var cronjob = function () {      var last = cron[id];      if(!last || last == lasttime) {        that.refreshDocument(doc);        lasttime = new Date().valueOf();        cron[id] = lasttime;        setTimeout(cronjob, that.getRefresh);      }    };    cronjob();    /*      TODO: Put edit button inside the lower right side of the text area.    */    //that.log('onDOMContentLoad: done',id);    return;  };
meta: 4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4463/facd4869ff3b083d21afb437ee474592eec22518/itsalltext.js/buggy/chrome/content/itsalltext.js