diff options
| author | Robin Gareus <robin@gareus.org> | 2013-07-04 21:32:41 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2013-07-04 21:32:41 +0200 |
| commit | b28706852d9f6771ff37e794267c3e038055de08 (patch) | |
| tree | cbeeb011f841fe329da41597e1bfe8552ea6c815 /gtk2_ardour/splash.cc | |
| parent | 4fea31fd78d44c3ef15fa76d6c7cbb12ad04f4a1 (diff) | |
fix race/endless loop on exit:
if gtk is going away while ardour updates the splash-screen:
Gtk-CRITICAL **: IA__gtk_main_quit: assertion `main_loops != NULL' failed
Diffstat (limited to 'gtk2_ardour/splash.cc')
| -rw-r--r-- | gtk2_ardour/splash.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/splash.cc b/gtk2_ardour/splash.cc index 99adff68e9..b606ec6050 100644 --- a/gtk2_ardour/splash.cc +++ b/gtk2_ardour/splash.cc @@ -236,7 +236,7 @@ Splash::message (const string& msg) } while (!expose_done) { - gtk_main_iteration (); + if(gtk_main_iteration ()) return; // quit was called } gdk_display_flush (gdk_display_get_default()); } |