Ignacio Etcheverry 513cc78f85 Mono: Add option to keep running after unhandled exceptions ...

By default, an unhandled exception will cause the application to be terminated; but the project setting `mono/unhandled_exception_policy` was added to change this behaviour.
The editor is hard-coded to never terminate because of unhandled exceptions, as that would make writing editor plugins a painful task, and we cannot kill the editor because of a mistake in a thirdparty plugin.

2019-07-24 23:19:15 +02:00

18 KiB

Raw Blame History

View Raw