call BaseUI::quit() from inside the MIDI Control UI destructor, to properly shutdown...

diff --git a/libs/ardour/midi_ui.cc b/libs/ardour/midi_ui.cc
index 06940c1e34e29b7aa8447ceafb73e4cf63eda6f8..97dfdce6bf0ce1fc18d8f7d0d59a6f3adad8ffd4 100644 (file)
--- a/libs/ardour/midi_ui.cc
+++ b/libs/ardour/midi_ui.cc
@@ -52,7 +52,11 @@ MidiControlUI::MidiControlUI (Session& s)
 
 MidiControlUI::~MidiControlUI ()
 {
+       /* stop the thread */
+       quit ();
+       /* drop all ports as GIO::Sources */
        clear_ports ();
+       /* we no longer exist */
        _instance = 0;
 }