diff --git a/direct/src/plugin_standalone/p3dEmbed.cxx b/direct/src/plugin_standalone/p3dEmbed.cxx index 83cf914c33..15771e08c3 100644 --- a/direct/src/plugin_standalone/p3dEmbed.cxx +++ b/direct/src/plugin_standalone/p3dEmbed.cxx @@ -111,6 +111,8 @@ run_embedded(streampos read_offset, int argc, char *argv[]) { _win_height = atoi(value.c_str()); } else if (keyword == "root_dir") { root_dir = value; + } else if (keyword == "verify_contents") { + _verify_contents = (bool) atoi(value.c_str()); } } curstr = "";