Ensure resource providers are correctly initialized.
PiperOrigin-RevId: 854095105 Change-Id: I028265d7f51e6ab178f4f3a1d801ba773093214f
This commit is contained in:
committed by
Copybara-Service
parent
ce74475c39
commit
2c4f710cf4
@@ -75,6 +75,8 @@ int main(int argc, char** argv, char** envp) {
|
|||||||
const std::string ini_path = std::string(home ? home : ".") + "/.mujoco.ini";
|
const std::string ini_path = std::string(home ? home : ".") + "/.mujoco.ini";
|
||||||
|
|
||||||
mjpResourceProvider resource_provider;
|
mjpResourceProvider resource_provider;
|
||||||
|
mjp_defaultResourceProvider(&resource_provider);
|
||||||
|
|
||||||
resource_provider.open = [](mjResource* resource) {
|
resource_provider.open = [](mjResource* resource) {
|
||||||
const std::string resolved_path = Resolve(resource->name);
|
const std::string resolved_path = Resolve(resource->name);
|
||||||
FileResource* f = new FileResource(resolved_path);
|
FileResource* f = new FileResource(resolved_path);
|
||||||
|
|||||||
@@ -72,6 +72,8 @@ void Init() {
|
|||||||
const std::string ini_path = "";
|
const std::string ini_path = "";
|
||||||
|
|
||||||
mjpResourceProvider resource_provider;
|
mjpResourceProvider resource_provider;
|
||||||
|
mjp_defaultResourceProvider(&resource_provider);
|
||||||
|
|
||||||
resource_provider.open = [](mjResource* resource) {
|
resource_provider.open = [](mjResource* resource) {
|
||||||
AssetRegistry& r = AssetRegistry::Instance();
|
AssetRegistry& r = AssetRegistry::Instance();
|
||||||
return static_cast<int>(r.Get(resource->name).size());
|
return static_cast<int>(r.Get(resource->name).size());
|
||||||
|
|||||||
Reference in New Issue
Block a user