diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-06-26 07:48:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-26 07:48:17 +0200 |
commit | 38cfaadcf9cac5ba966c20bd7a8330b54de4080b (patch) | |
tree | 566a6ad1e389b19fd51ab3df6263cebba792de3a | |
parent | 23f7f86914da0ee1423d49db7e549a5f50fb3cdc (diff) | |
parent | f87ae395ee5dc35c44df2225d3c2ce605cae9099 (diff) |
Merge pull request #39836 from neikeq/fix-unhandled-exception-print
Mono/C#: Fix unhandled exception not being printed
-rw-r--r-- | modules/mono/mono_gd/gd_mono_internals.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/mono/mono_gd/gd_mono_internals.cpp b/modules/mono/mono_gd/gd_mono_internals.cpp index 27e402d777..abb2761909 100644 --- a/modules/mono/mono_gd/gd_mono_internals.cpp +++ b/modules/mono/mono_gd/gd_mono_internals.cpp @@ -114,7 +114,7 @@ void tie_managed_to_unmanaged(MonoObject *managed, Object *unmanaged) { } void unhandled_exception(MonoException *p_exc) { - mono_unhandled_exception((MonoObject *)p_exc); // prints the exception as well + mono_print_unhandled_exception((MonoObject *)p_exc); if (GDMono::get_singleton()->get_unhandled_exception_policy() == GDMono::POLICY_TERMINATE_APP) { // Too bad 'mono_invoke_unhandled_exception_hook' is not exposed to embedders |