rem: try {  var bmks = Components.classes["@mozilla.org/browser/bookmarks-service;1"] .getService(Components.interfaces.nsIRDFRemoteDataSource); bmks.Flush(); } catch (ex) { }  try {  var history = Components.classes["@mozilla.org/browser/global-history;1"] .getService(Components.interfaces.nsIRDFRemoteDataSource); history.Flush(); } catch (ex) { } 
add: BrowserFlushBookmarksAndHistory(); 
context: function Shutdown(){  var browser = getBrowser();  browser.boxObject.removeProperty("listenerkungfu");  try {    var interfaceRequestor = browser.docShell.QueryInterface(Components.interfaces.nsIInterfaceRequestor);    var webProgress = interfaceRequestor.getInterface(Components.interfaces.nsIWebProgress);    webProgress.removeProgressListener(window.XULBrowserWindow);  } catch (ex) {  }  window.XULBrowserWindow.destroy();  window.XULBrowserWindow = null;  try {    // If bookmarks are dirty, flush 'em to disk    var bmks = Components.classes["@mozilla.org/browser/bookmarks-service;1"]                         .getService(Components.interfaces.nsIRDFRemoteDataSource);    bmks.Flush();  } catch (ex) {  }  try {    // give history a chance at flushing to disk also    var history = Components.classes["@mozilla.org/browser/global-history;1"]                            .getService(Components.interfaces.nsIRDFRemoteDataSource);    history.Flush();  } catch (ex) {  }  // unregister us as a pref listener  pref.removeObserver(window.buttonPrefListener.domain,                      window.buttonPrefListener);  window.browserContentListener.close();  // Close the app core.  if (appCore)    appCore.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/dc20b477faec126e1b0f3969af14467a14af1d1e/navigator.js/clean/suite/browser/navigator.js