From 21d712178362f47a6bab05a5e8c009fcbead76a8 Mon Sep 17 00:00:00 2001 From: "sspitzer%netscape.com" Date: Mon, 1 Apr 2002 02:51:06 +0000 Subject: [PATCH] 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 --- .../mailnews/base/search/resources/content/CustomHeaders.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mozilla/mailnews/base/search/resources/content/CustomHeaders.js b/mozilla/mailnews/base/search/resources/content/CustomHeaders.js index 286478082dc..31eb8ae2246 100644 --- a/mozilla/mailnews/base/search/resources/content/CustomHeaders.js +++ b/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(); }