possible fix for crash on exit - err on the side of caution

This commit is contained in:
Robin Gareus 2013-07-07 04:14:41 +02:00
parent 29108187ed
commit 539e58bf5d

View file

@ -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