diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-07-10 21:51:43 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-07-10 21:51:47 +0200 |
| commit | 2a8294ff2409e3f0d5e4d7e39547a9b17942e0b3 (patch) | |
| tree | d0406dbb2ca4fd07f553e46d5d1b47ab1b4bf6c4 /editor/plugins/tile_map_editor_plugin.cpp | |
| parent | 8b778f62347e7aff48122aa3945f1373b3fae5d3 (diff) | |
Mono: Fix null dereference in EditorExportPlatformAndroid
We need to dispose the GodotSharpExport export plugin before the editor destroys EditorSettings. Otherwise, if the GC disposes it at a later time, EditorExportPlatformAndroid will be freed after EditorSettings already was, and its device polling thread will try to access the EditorSettings singleton, resulting in null dereferencing.
Diffstat (limited to 'editor/plugins/tile_map_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions