diff options
| -rw-r--r-- | src/wx/gl_video_view.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/wx/gl_video_view.cc b/src/wx/gl_video_view.cc index 905fc80f4..6fc416ade 100644 --- a/src/wx/gl_video_view.cc +++ b/src/wx/gl_video_view.cc @@ -953,6 +953,10 @@ try * without also deleting the wxGLCanvas. */ } +catch (boost::thread_interrupted&) +{ + +} catch (...) { store_current(); |