diff options
author | bncastle <bncastle@pixelbytestudios.com> | 2017-09-10 17:39:42 -0400 |
---|---|---|
committer | bncastle <bncastle@pixelbytestudios.com> | 2017-09-10 17:39:42 -0400 |
commit | fc838213165a1175411fe8b4c3ce1e9a99decb2e (patch) | |
tree | 9e6a0f72eba1840fda4a328c0bb89e2280be6906 /editor/animation_editor.h | |
parent | d1cb73b47a17de830d9474026ffa7b3587cfbc68 (diff) |
Fixed attempt to delete NULL pointer error
Fixed: Error cause by attemptng to delete a NULL pointer.
unregister_gdnative_types() now checks discoverer to see if it is NULL
before deleting. After selecting a godot project to edit (in Win10), the
discoverer_callback() wasn't called thus discoverer was NULL.
Diffstat (limited to 'editor/animation_editor.h')
0 files changed, 0 insertions, 0 deletions