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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a9c3273f01d4207f57f2e8e76b3bc37182a75625/irc.js/buggy/extensions/irc/js/lib/irc.js