diff options
| author | Carl Hetherington <cth@carlh.net> | 2025-04-19 18:12:16 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2025-04-20 21:18:19 +0200 |
| commit | 00c2f4e9045e66cd51abdc2db496852b26499dd5 (patch) | |
| tree | 8be355d380779ff9ee79402388e4d8d1744ea48c | |
| parent | 3ffb0a3f257692bcc7f1cd2496bb4b4e7d8b86aa (diff) | |
Catch and ignore thread_interrupted from the GL video thread.
| -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(); |