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: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/ec1f57a2df47ea77b6ce245c6e2bd99b25d52195/irc.js/clean/js/lib/irc.js