add: tree.database.RemoveDatasource(HTTPIndex); 
context: function DoUnload(){	var tree = document.getElementById("tree");	if (tree)	{		tree.database.RemoveObserver(RDF_observer);	    debug("Directory: removed observer\n");	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8d3f8447f64a19ab1637252fe71a03072f296e2e/directory.js/clean/suite/common/directory/directory.js