rem: e.server.connection.sendData ("NOTICE " + e.user.nick + " :\01PING " + e.CTCPData + "\01\n"); 
add: this.connection.sendData("NOTICE " + e.user.encodedName + " :\01PING " + e.CTCPData + "\01\n"); 
context: function serv_cping (e){    /* non-queued send */    e.server.connection.sendData ("NOTICE " + e.user.nick + " :\01PING " +                                  e.CTCPData + "\01\n");    e.destObject = e.replyTo;    e.set = (e.replyTo == e.user) ? "user" : "channel";    return true;}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/703717eb72f3378c625c0fefe679e646d1c5b0ff/irc.js/buggy/js/lib/irc.js