gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-15 22:48:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #87938 from tishin/fix-gdextension-deinit

Browse source 
Add null check for GDExtension deinitialization
This commit is contained in:
Rémi Verschelde 2024-02-05 14:53:00 +01:00
parent 3eb25dd728 dc4c6cfb9b
commit f4f1398503
No known key found for this signature in database
GPG key ID: C3336907360768E1
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
core/extension/gdextension.cpp
View file

@ -794,6 +794,9 @@ void GDExtension::deinitialize_library(InitializationLevel p_level) {
ERR_FAIL_COND(p_level > int32_t(level_initialized));
level_initialized = int32_t(p_level) - 1;
ERR_FAIL_NULL(initialization.deinitialize);
initialization.deinitialize(initialization.userdata, GDExtensionInitializationLevel(p_level));
}