diff --git a/libs/surfaces/faderport/faderport.cc b/libs/surfaces/faderport/faderport.cc index cb231633d2..9481445af2 100644 --- a/libs/surfaces/faderport/faderport.cc +++ b/libs/surfaces/faderport/faderport.cc @@ -208,6 +208,10 @@ FaderPort::~FaderPort () } tear_down_gui (); + + /* stop event loop */ + DEBUG_TRACE (DEBUG::FaderPort, "BaseUI::quit ()\n"); + BaseUI::quit (); } void*