diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/dcpomatic.cc | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/tools/dcpomatic.cc b/src/tools/dcpomatic.cc index 47237eee6..28198a685 100644 --- a/src/tools/dcpomatic.cc +++ b/src/tools/dcpomatic.cc @@ -926,8 +926,7 @@ private: return true; } - /* An unhandled exception has occurred inside the main event loop */ - bool OnExceptionInMainLoop () + void report_exception () { try { throw; @@ -951,14 +950,19 @@ private: } catch (...) { error_dialog (0, _("An unknown exception occurred.") + " " + REPORT_PROBLEM); } + } + /* An unhandled exception has occurred inside the main event loop */ + bool OnExceptionInMainLoop () + { + report_exception (); /* This will terminate the program */ return false; } void OnUnhandledException () { - error_dialog (0, _("An unknown exception occurred.") + " " + REPORT_PROBLEM); + report_exception (); } void idle () |