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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/bed39e8f3c219944b1ef2a4dc9163acf12791b06/irc.js/buggy/extensions/irc/js/lib/irc.js