From 3d4f94860b0083282a5c213abc3dd73ccc3d7d1d Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Sat, 30 May 2009 22:09:24 -0600
Subject: [PATCH] URL might be the same, so do explicit URL refresh.

---
 imp/js/src/DimpBase.js |  2 +-
 imp/js/src/DimpCore.js | 11 +++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/imp/js/src/DimpBase.js b/imp/js/src/DimpBase.js
index d35820e86..fe065bba2 100644
--- a/imp/js/src/DimpBase.js
+++ b/imp/js/src/DimpBase.js
@@ -201,7 +201,7 @@ var DimpBase = {
             loc != 'options' &&
             $('appoptions') &&
             $('appoptions').hasClassName('on')) {
-            return DimpCore.redirect(DIMP.conf.URI_DIMP + '#' + loc);
+            return DimpCore.redirect(DIMP.conf.URI_DIMP + '#' + loc, true);
         }
 
         if (loc.startsWith('compose:')) {
diff --git a/imp/js/src/DimpCore.js b/imp/js/src/DimpCore.js
index 38f12ad27..7f1167ede 100644
--- a/imp/js/src/DimpCore.js
+++ b/imp/js/src/DimpCore.js
@@ -270,13 +270,12 @@ var DimpCore = {
         this.redirect(url || (DIMP.conf.URI_AJAX + '/LogOut'));
     },
 
-    redirect: function(url)
+    redirect: function(url, force)
     {
-        url = this.addURLParam(url);
-        if (parent.frames.horde_main) {
-            parent.location = url;
-        } else {
-            window.location = url;
+        var ptr = parent.frames.horde_main ? parent : window;
+        ptr.location = this.addURLParam(url);
+        if (force) {
+            ptr.location.reload();
         }
     },
 
-- 
2.11.0