From d6418efa7be7ff0fb2ceefe2f174085bb24a49b4 Mon Sep 17 00:00:00 2001
From: servertood <servertood@40cadd2d-89a2-4482-8f20-0232d845d7e3>
Date: Fri, 21 Nov 2008 02:46:25 +0000
Subject: [PATCH] fix cache not flushing on refresh

---
 extra/jheidi/mainToolbarEvents.ajl | 5 +++++
 extra/jheidi/mainWindowEvents.ajl  | 4 ++++
 2 files changed, 9 insertions(+)

diff --git a/extra/jheidi/mainToolbarEvents.ajl b/extra/jheidi/mainToolbarEvents.ajl
index 50a9cbd9..804fdba7 100644
--- a/extra/jheidi/mainToolbarEvents.ajl
+++ b/extra/jheidi/mainToolbarEvents.ajl
@@ -30,8 +30,13 @@ else if ("Refresh" == who)
       db.flushCache();
     }
   }
+  else
+  {
+    db.flushCache();
+  }
     
   String script = tab.getProperty("refreshScript");
+  log.info("refreshing: " + script);
   HashObject scriptArgs = (HashObject)tab.getProperty("refreshArgs");
   if ( script != null )
   {
diff --git a/extra/jheidi/mainWindowEvents.ajl b/extra/jheidi/mainWindowEvents.ajl
index 8f91f8f3..51a9b214 100644
--- a/extra/jheidi/mainWindowEvents.ajl
+++ b/extra/jheidi/mainWindowEvents.ajl
@@ -31,6 +31,10 @@ else if ("Refresh" == who)
       db.flushCache();
     }
   }
+  else
+  {
+    db.flushCache();
+  }
     
   String script = tab.getProperty("refreshScript");
   HashObject scriptArgs = (HashObject)tab.getProperty("refreshArgs");