add: code = code.toUpperCase(); if (code == "PING" && !msg) { var user = this.users[target.toLowerCase()]; if (user) msg = Number(new Date()); } 
context: function serv_ctcpto (target, code, msg, method){    if (typeof msg == "undefined")        msg = "";    if (typeof method == "undefined")        method = "PRIVMSG";             this.messageTo (method, target, msg, code);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/c30e3af8136ef61e0b86004c726dd99c740f0bba/irc.js/buggy/extensions/irc/js/lib/irc.js