add: if (this.serverList.length == 1 && this.serverList[0].name == this.name && this.serverList[0].port != 6667) { return "irc: this.serverList[0].port + "/"; }  
context: function net_geturl (){    return "irc://" + escape(this.name) + "/";}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/e8d7bb681eb0f6660132ab218685e46f883a731d/irc.js/buggy/js/lib/irc.js