rem:   HTTPIndex.encoding = "ISO-8859-1"; 
context: function Init(){    debug("directory.js: Init()\n");    // Add the HTTPIndex datasource into the tree    var tree = document.getElementById('tree');    // Initialize the tree's base URL to whatever the HTTPIndex is rooted at    var baseURI = HTTPIndex.BaseURL;    // fix bug # 37102: if its a FTP directory    // ensure it ends with a trailing slash    if (baseURI && (baseURI.indexOf("ftp://") == 0) &&    	(baseURI.substr(baseURI.length - 1) != "/"))    {    	debug("append traiing slash to FTP directory URL\n");    	baseURI += "/";    }    debug("base URL = " + baseURI + "\n");        // Note: set encoding for FTP URLs BEFORE setting "ref"    HTTPIndex.encoding = "ISO-8859-1";    // re-root the tree    tree.setAttribute("ref", baseURI);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/115df4ef3a75bcd51b49b18dcf6de4435dd4be15/directory.js/buggy/suite/common/directory/directory.js