rem: function searchbyserver(server_name,ignore_wildcards) { if (!server_name) 
add: function searchbyserver(servnick) { if (!servnick) 
context: function searchbyserver(server_name,ignore_wildcards) {	if (!server_name)		return 0;	if ((ignore_wildcards &&	    (servername.toUpperCase() == server_name.toUpperCase()) ) ||	   (!ignore_wildcards && IRC_match(servername,server_name)) )		return -1; // the server passed to us is our own.	for(thisServer in Servers) {		var Server=Servers[thisServer];		if ((ignore_wildcards && 		    (Server.nick.toUpperCase() == server_name.toUpperCase())) ||		   (!ignore_wildcards &&		     IRC_match(Server.nick,server_name) ) )			return Server;	}	// No wildcards implies not doing searches on nicks, either.	if (ignore_wildcards)		return 0;	// if we've had no success so far, try nicknames and glean a server	// from there.	for(thisNick in Users) {		var Nick=Users[thisNick];		if (IRC_match(Nick.nick,server_name))			return searchbyserver(Nick.servername);	}	return 0; // looks like we failed after all that hard work :(}
meta: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/5ba03c6eb6bbc4183b83bc4c04000dd2ef0bd7e0/ircd.js/clean/ircd.js