make sure that JACK MIDI ports know about Jack halting in the "halted info" callback...

git-svn-id: svn://localhost/ardour2/branches/3.0@13639 d708f5d6-7413-0410-9779-e7cbd77b26cf

diff --git a/libs/ardour/audioengine.cc b/libs/ardour/audioengine.cc
index dffd65556a3c48109705cdab95f521227ffe8b4c..5b9d34f5e50c4cd6fc2af0926dc1eff45d00029f 100644 (file)
--- a/libs/ardour/audioengine.cc
+++ b/libs/ardour/audioengine.cc
@@ -1127,6 +1127,7 @@ AudioEngine::halted_info (jack_status_t code, const char* reason, void *arg)
         ae->_jack = 0;
 
         if (was_running) {
+               MIDI::JackMIDIPort::JackHalted (); /* EMIT SIGNAL */
 #ifdef HAVE_JACK_ON_INFO_SHUTDOWN
                 switch (code) {
                 case JackBackendError: