diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-07-24 23:13:24 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-07-24 23:19:15 +0200 |
| commit | 513cc78f85d8c45a9492ae25034cd2357714cfdf (patch) | |
| tree | 4fba743dbb50d9ef38b5c2178b4a11757d9e54d4 /main/main.cpp | |
| parent | adae2b073811d0f81afdfab277fdb27d2ba9f16a (diff) | |
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.
Diffstat (limited to 'main/main.cpp')
0 files changed, 0 insertions, 0 deletions