rem: CIRCServer.prototype.onCTCPPing = function serv_cping (e) 
add: function serv_cping (e) 
context: CIRCServer.prototype.onCTCPPing = 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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/20c17fc60903ecd3b816282ba580a96c2be8959f/irc.js/buggy/extensions/irc/js/lib/irc.js