diff --git a/libs/backends/portaudio/winmmemidi_output_device.cc b/libs/backends/portaudio/winmmemidi_output_device.cc index 7dec08e594..dcae0e5b82 100644 --- a/libs/backends/portaudio/winmmemidi_output_device.cc +++ b/libs/backends/portaudio/winmmemidi_output_device.cc @@ -257,6 +257,7 @@ WinMMEMidiOutputDevice::stop_midi_output_thread () { int timeout = 5000; m_thread_quit = true; + signal (m_queue_semaphore); while (m_thread_running && --timeout > 0) { Glib::usleep (1000); } if (timeout == 0 || m_thread_running) {