diff options
| author | Robin Gareus <robin@gareus.org> | 2017-01-20 13:31:24 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-01-20 13:53:53 +0100 |
| commit | d6106b22cb755f0d5087c8b1b74b2ca3bd41e350 (patch) | |
| tree | 7dcc249cd1189e1e7b6c86ad484fc83102d4985e /gtk2_ardour/main.cc | |
| parent | c6a7c9417e05d8316c6ed8904d02b664fc0780b2 (diff) | |
Breathe at exit: allow event-loops to clean up
Diffstat (limited to 'gtk2_ardour/main.cc')
| -rw-r--r-- | gtk2_ardour/main.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gtk2_ardour/main.cc b/gtk2_ardour/main.cc index 41b385ce4a..9b0a0c5e2f 100644 --- a/gtk2_ardour/main.cc +++ b/gtk2_ardour/main.cc @@ -442,8 +442,22 @@ int main (int argc, char *argv[]) ui = 0; ARDOUR::cleanup (); +#ifndef NDEBUG + if (getenv ("ARDOUR_RUNNING_UNDER_VALGRIND")) { + Glib::usleep(100000); + sched_yield(); + } +#endif + pthread_cancel_all (); +#ifndef NDEBUG + if (getenv ("ARDOUR_RUNNING_UNDER_VALGRIND")) { + Glib::usleep(100000); + sched_yield(); + } +#endif + console_madness_end (); return 0; |