From 539e58bf5dc4ef3a815e6ef3d277c2ddd00284e5 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Sun, 7 Jul 2013 04:14:41 +0200 Subject: [PATCH] possible fix for crash on exit - err on the side of caution --- gtk2_ardour/ardour_ui.cc | 2 ++ 1 file changed, 2 insertions(+) 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