Add a trash pool for invalidation requests.

While EventLoop::invalidate_request() does invalidate request in the
request-list. It does *not* invalidate requests in the
per-thread-request-ringbuffer(s).
The invalidation record cannot be deleted in EventLoop::invalidate_request
see 6b5891a78f.

1 files changed, 2 insertions, 0 deletions

diff --git a/libs/pbd/pbd/event_loop.h b/libs/pbd/pbd/event_loop.h
index 6fd92c49c8..e84832ebcb 100644
--- a/libs/pbd/pbd/event_loop.h
+++ b/libs/pbd/pbd/event_loop.h
@@ -99,6 +99,8 @@ public:
 	static void pre_register (const std::string& emitting_thread_name, uint32_t num_requests);
 	static void remove_request_buffer_from_map (void* ptr);
 
+	std::list<InvalidationRecord*> trash;
+
 private:
 	static Glib::Threads::Private<EventLoop> thread_event_loop;
 	std::string _name;