OpenLayers.Util.isEquivalentUrl = function(url1, url2, options) {    options = options || new Object();    OpenLayers.Util.applyDefaults(options, {        ignoreCase: true,        ignorePort80: true,        ignoreHash: true    });    urlObj1 = OpenLayers.Util.createUrlObject(url1, options);    urlObj2 = OpenLayers.Util.createUrlObject(url2, options);    //compare keys (host, port, etc)    for(var key in urlObj1) {        if ( (key != "args") && (urlObj1[key] != urlObj2[key]) ) {            return false;        }    }    // compare search args - irrespective of order    for(var key in urlObj1.args) {        if(urlObj1.args[key] != urlObj2.args[key]) {            return false;        }        delete urlObj2.args[key];    }    // urlObj2 shouldn't have any args left    for(var key in urlObj2.args) {        return false;    }        return true;};
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/efe8f3c16251d098fe0d59ab4fc251e97373996c/Util.js/buggy/lib/OpenLayers/Util.js