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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/2d52b6889bc18f08494518ff68c18dedeceac462/irc.js/clean/extensions/irc/js/lib/irc.js