From 5d5d1bc2fd12f9929271ec4ad8d77a8bb9f2d1e3 Mon Sep 17 00:00:00 2001 From: John Foerch Date: Tue, 5 Feb 2013 16:27:10 -0500 Subject: [PATCH] reinit: clear startup-cache before calling load_rc --- modules/commands.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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); -- 2.11.4.GIT