summaryrefslogtreecommitdiffstats
path: root/core/extension/gdextension_manager.cpp
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2024-10-01 17:31:14 +0200
committerRémi Verschelde <rverschelde@gmail.com>2024-10-01 17:31:14 +0200
commit3b17e3470a84eb7f375b4eeac5217634816dfe3e (patch)
tree1eb2593836415661e4146d56c38cbc1c33653801 /core/extension/gdextension_manager.cpp
parent8aabdc457f8bd3897b83be156a22cf99b994f35a (diff)
parent8a41b1d90ff447fb3014b7402f28f820ddc7c8a6 (diff)
downloadredot-engine-3b17e3470a84eb7f375b4eeac5217634816dfe3e.tar.gz
Merge pull request #97532 from kisg/use_loader_library_check
GDExtension: Use loader to check if the library exists.
Diffstat (limited to 'core/extension/gdextension_manager.cpp')
-rw-r--r--core/extension/gdextension_manager.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/core/extension/gdextension_manager.cpp b/core/extension/gdextension_manager.cpp
index 01efe0d96e..fff938858f 100644
--- a/core/extension/gdextension_manager.cpp
+++ b/core/extension/gdextension_manager.cpp
@@ -302,7 +302,8 @@ bool GDExtensionManager::ensure_extensions_loaded(const HashSet<String> &p_exten
for (const String &loaded_extension : loaded_extensions) {
if (!p_extensions.has(loaded_extension)) {
// The extension may not have a .gdextension file.
- if (!FileAccess::exists(loaded_extension)) {
+ const Ref<GDExtension> extension = GDExtensionManager::get_singleton()->get_extension(loaded_extension);
+ if (!extension->get_loader()->library_exists()) {
extensions_removed.push_back(loaded_extension);
}
}