chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Return 0 on success from mjs_activatePlugin instead of using mju_error.

Browse Source 
PiperOrigin-RevId: 684102823
Change-Id: I86b7702094ae886539e1dfb6294381952d507bc1
This commit is contained in:
Alessio Quaglino
2024-10-09 11:08:38 -07:00
committed by Copybara-Service
parent 5dcc31a6aa
commit a26ba2012e
7 changed files with 14 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/xml/xml_native_reader.cc
+3 -1
View File
@@ -2890,7 +2890,9 @@ void mjXReader::Extension(XMLElement* section) {
if (name == "plugin") {
string plugin_name;
ReadAttrTxt(elem, "plugin", plugin_name, /* required = */ true);
mjs_activatePlugin(spec, plugin_name.c_str());
if (mjs_activatePlugin(spec, plugin_name.c_str())) {
throw mjXError(elem, "plugin %s not found", plugin_name.c_str());
}
XMLElement* child = FirstChildElement(elem);
while (child) {