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/377dd328ba12f71ca976ba1a877bf8881dae0beb/irc.js/buggy/js/lib/irc.js