rem: dump('Reload(' + url + ', ' + pollInterval + ')\n'); 
add: dump('flashReload(' + url + ', ' + pollInterval + ')\n'); 
context: function flashReload(url, pollInterval){    // Reload the specified datasource and reschedule.    dump('Reload(' + url + ', ' + pollInterval + ')\n');    var datasource = RDF.GetDataSource(url);    datasource = datasource.QueryInterface(Components.interfaces.nsIRDFRemoteDataSource);    // Reload, asynchronously.    datasource.Refresh(false);    // Reschedule    flashSchedule(url, pollInterval);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/3a996ae835589b430f7e165545a236f2e85bfb8a/flash.js/buggy/xpfe/components/sidebar/resources/flash.js