trick ardour to print main-thead mem-pool stats.

diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc
index 0e160ce4d14581a79d93e71c09ae795458244a61..544fd54b3044f8fcab1ecb3b7fda9360d7e0c079 100644 (file)
--- a/gtk2_ardour/ardour_ui.cc
+++ b/gtk2_ardour/ardour_ui.cc
@@ -646,6 +646,15 @@ ARDOUR_UI::~ARDOUR_UI ()
                delete gui_object_state;
                FastMeter::flush_pattern_cache ();
        }
+
+#ifndef NDEBUG
+       /* Small trick to flush main-thread event pool.
+        * Other thread-pools are destroyed at pthread_exit(),
+        * but tmain thread termination is too late to trigger Pool::~Pool()
+        */
+       SessionEvent* ev = new SessionEvent (SessionEvent::SetTransportSpeed, SessionEvent::Clear, SessionEvent::Immediate, 0, 0); // get the pool reference, values don't matter since the event is never queued.
+       delete ev->event_pool();
+#endif
 }
 
 void