From: John Foerch <jjfoerch@earthlink.net>
Date: Tue, 5 Feb 2013 21:27:10 +0000 (-0500)
Subject: reinit: clear startup-cache before calling load_rc
X-Git-Tag: debian-1.0--pre-1+git160130-1~182
X-Git-Url: https://repo.or.cz/w/conkeror.git/commitdiff_plain/5d5d1bc2fd12f9929271ec4ad8d77a8bb9f2d1e3

reinit: clear startup-cache before calling load_rc
---

diff --git a/modules/commands.js b/modules/commands.js
index c2abc32..379b50f 100644
--- a/modules/commands.js
+++ b/modules/commands.js
@@ -234,9 +234,11 @@ interactive("source",
             function (fo) { load_rc (fo.path); }, [['f', function (a) { return "Source File: "; }, null, "source"]]);
 */
 function reinit (window) {
-    var path;
     try {
-        path = load_rc();
+        var obs = Cc["@mozilla.org/observer-service;1"]
+            .getService(Ci.nsIObserverService);
+        obs.notifyObservers(null, "startupcache-invalidate", null);
+        var path = load_rc();
         window.minibuffer.message("Loaded: " + path);
     } catch (e) {
         window.minibuffer.message("Failed to load: "+path);