reinit: clear startup-cache before calling load_rc
authorJohn Foerch <jjfoerch@earthlink.net>
Tue, 5 Feb 2013 21:27:10 +0000 (5 16:27 -0500)
committerJohn Foerch <jjfoerch@earthlink.net>
Tue, 5 Feb 2013 21:27:10 +0000 (5 16:27 -0500)
modules/commands.js

index c2abc32..379b50f 100644 (file)
@@ -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);