diff options
| author | Robin Gareus <robin@gareus.org> | 2015-03-09 01:41:34 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-03-09 01:41:34 +0100 |
| commit | c12b7bc9d85ad9b72e152a27625bdd4cc5486af0 (patch) | |
| tree | 3f29c18cde7ac7e77137ba67a06b3d1dfc2608fc /gtk2_ardour/main.cc | |
| parent | 72ed785940221692ea2260944477eca82ada9268 (diff) | |
explicitly shutdown engine at exit
Callbacks like EngineHalted or DeviceListChanged
can be deadly while the UI is being torn down.
Diffstat (limited to 'gtk2_ardour/main.cc')
| -rw-r--r-- | gtk2_ardour/main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/main.cc b/gtk2_ardour/main.cc index ec63f21017..bc9de63d2e 100644 --- a/gtk2_ardour/main.cc +++ b/gtk2_ardour/main.cc @@ -301,6 +301,7 @@ int main (int argc, char *argv[]) } ui->run (text_receiver); + ui->disconnect_from_engine(); Gtkmm2ext::Application::instance()->cleanup(); delete ui; ui = 0; |