diff options
author | Robin Gareus <robin@gareus.org> | 2013-07-07 04:14:41 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2013-07-07 04:17:04 +0200 |
commit | 539e58bf5dc4ef3a815e6ef3d277c2ddd00284e5 (patch) | |
tree | a2abe803b4638d264e7c752f70f819c4de50225c /gtk2_ardour | |
parent | 29108187edabb37eed4eec52cbcbcbb736ebb497 (diff) |
possible fix for crash on exit - err on the side of caution
Diffstat (limited to 'gtk2_ardour')
-rw-r--r-- | gtk2_ardour/ardour_ui.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index c664f870ce..7f72725af8 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -153,6 +153,7 @@ ARDOUR_UI::ARDOUR_UI (int *argcp, char **argvp[], const char* localedir) /* big clock */ , big_clock (new AudioClock (X_("bigclock"), false, "big", true, true, false, false)) + , video_timeline(0) /* start of private members */ @@ -900,6 +901,7 @@ If you still wish to quit, please use the\n\n\ } delete ARDOUR_UI::instance()->video_timeline; + ARDOUR_UI::instance()->video_timeline = NULL; stop_video_server(); /* Save state before deleting the session, as that causes some |