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");