Merge pull request #2180 from pschmutz:schmutz/error_handling_when_loading_plugins

PiperOrigin-RevId: 690567811 Change-Id: I2d2c4e37e74ab4d97c0add5633feb766ef66dd08
2024-10-28 05:11:14 -07:00
parent ca45041049 7cf457286d
commit d95befaddd
1 changed files with 9 additions and 1 deletions
@@ -387,7 +387,15 @@ void mj_loadPluginLibrary(const char* path) {
 #if defined(_WIN32) || defined(__CYGWIN__)
  LoadLibraryA(path);
 #else
-  dlopen(path, RTLD_NOW | RTLD_LOCAL);
+  void* handle = dlopen(path, RTLD_NOW | RTLD_LOCAL);
+  if (!handle) {
+    const char* error = dlerror();
+    if (error) {
+      mju_error("Error loading plugin library '%s': %s\n", path, error);
+    } else {
+      mju_error("Unknown error loading plugin library '%s'\n", path);
+    }
+  }
 #endif
 }