fix for dataloss bug #134134. if we crash after we modify our custom header list

but before we write prefs to disk, we will lose the changes.  r=naving, sr=bienvenu
a=asa


git-svn-id: svn://10.0.0.236/trunk@117831 18797224-902f-48f8-a5cc-f745e15eee43

mozilla/mailnews/base/search/resources/content/CustomHeaders.js

@@ -74,6 +74,9 @@ function onOk()
   {
     var hdrs = gArrayHdrs.join(": ");
     gPrefs.setCharPref("mailnews.customHeaders", hdrs);
+    // flush prefs to disk, in case we crash, to avoid dataloss and problems with filters that use the custom headers
+    var prefService = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService);
+    prefService.savePrefFile(null);
   }
   window.close();
 }