rem: if (history)	history.Flush(); } catch (ex) { }  
add: if (history) history.Flush(); } catch (ex) { }  
context: function Shutdown(){  try  {    // If bookmarks are dirty, flush 'em to disk    var bmks = getService( "component://netscape/browser/bookmarks-service", "nsIRDFRemoteDataSource" );    if (bmks)	bmks.Flush();  }  catch (ex)  {  }  try  {    // give history a change at flushing to disk also    var history = getService( "component://netscape/browser/global-history", "nsIRDFRemoteDataSource" );    if (history)	history.Flush();  }  catch (ex)  {  }  if ( appCore )    appCore.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d018fa4b19f17d32d733b05d0c9a9718bc7657a3/navigator.js/clean/xpfe/browser/resources/content/navigator.js