diff options
Diffstat (limited to 'src/wx/gl_video_view.cc')
| -rw-r--r-- | src/wx/gl_video_view.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/wx/gl_video_view.cc b/src/wx/gl_video_view.cc index a87249faf..fe49a5b8e 100644 --- a/src/wx/gl_video_view.cc +++ b/src/wx/gl_video_view.cc @@ -104,12 +104,12 @@ GLVideoView::GLVideoView (FilmViewer* viewer, wxWindow *parent) GLVideoView::~GLVideoView () { + boost::this_thread::disable_interruption dis; + try { _thread.interrupt (); _thread.join (); - } catch (...) { - - } + } catch (...) {} glDeleteTextures (1, &_id); } |
