From 2c4f710cf46d6a4637b8ad21afae98c6187801b0 Mon Sep 17 00:00:00 2001 From: Haroon Qureshi Date: Fri, 9 Jan 2026 02:06:21 -0800 Subject: [PATCH] Ensure resource providers are correctly initialized. PiperOrigin-RevId: 854095105 Change-Id: I028265d7f51e6ab178f4f3a1d801ba773093214f --- src/experimental/studio/main.cc | 2 ++ src/experimental/studio/wasm.cc | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/experimental/studio/main.cc b/src/experimental/studio/main.cc index ee4fae59..b45a4e45 100644 --- a/src/experimental/studio/main.cc +++ b/src/experimental/studio/main.cc @@ -75,6 +75,8 @@ int main(int argc, char** argv, char** envp) { const std::string ini_path = std::string(home ? home : ".") + "/.mujoco.ini"; mjpResourceProvider resource_provider; + mjp_defaultResourceProvider(&resource_provider); + resource_provider.open = [](mjResource* resource) { const std::string resolved_path = Resolve(resource->name); FileResource* f = new FileResource(resolved_path); diff --git a/src/experimental/studio/wasm.cc b/src/experimental/studio/wasm.cc index 0429e3b2..5b6b345b 100644 --- a/src/experimental/studio/wasm.cc +++ b/src/experimental/studio/wasm.cc @@ -72,6 +72,8 @@ void Init() { const std::string ini_path = ""; mjpResourceProvider resource_provider; + mjp_defaultResourceProvider(&resource_provider); + resource_provider.open = [](mjResource* resource) { AssetRegistry& r = AssetRegistry::Instance(); return static_cast(r.Get(resource->name).size());