rem: this.connection.sendData ("PONG :" + e.params[1] + "\n"); this.connection.sendData ("PING :LAGTIMER\n"); this.lastPing = this.lastPingSent = new Date();  
add: this.connection.sendData("PONG :" + e.params[1] + "\n"); this.updateLagTimer(); 
context: function serv_ping (e){    /* non-queued send, so we can calcualte lag */    this.connection.sendData ("PONG :" + e.params[1] + "\n");    this.connection.sendData ("PING :LAGTIMER\n");    this.lastPing = this.lastPingSent = new Date();    e.destObject = this.parent;    e.set = "network";    return true;    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fa359690d17fc0358c5ed06036e22e12abc609c5/irc.js/buggy/extensions/irc/js/lib/irc.js