From 7553d86b11b1448fb5a7412b19a0d9ab0dbf95ba Mon Sep 17 00:00:00 2001
From: Alberto Griggio <agriggio@users.noreply.github.com>
Date: Sat, 29 Apr 2017 14:48:54 +0200
Subject: [PATCH] clear the ids map in IdleRegister::destroy (prevent double
 deallocation)

Fixes #3849
---
 rtgui/guiutils.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rtgui/guiutils.cc b/rtgui/guiutils.cc
index 977c07f42..6dadde842 100644
--- a/rtgui/guiutils.cc
+++ b/rtgui/guiutils.cc
@@ -91,6 +91,7 @@ void IdleRegister::destroy()
         DataWrapper *w = static_cast<DataWrapper *>(id.first);
         delete w;
     }
+    ids.clear();
     mutex.unlock();
 }