rem: return (host.search("/" + domain + "$/") != -1); 
add:  return (host.search(domain) != -1); 
context: function dnsDomainIs(host, domain) {    return (host.search("/" + domain + "$/") != -1);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/07f6d9fc02e0bb8b34e772dbc8dd2cca116fbbe3/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js