diff options
Diffstat (limited to 'rust/examples/dwarf')
| -rw-r--r-- | rust/examples/dwarf/dwarf_import/src/lib.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rust/examples/dwarf/dwarf_import/src/lib.rs b/rust/examples/dwarf/dwarf_import/src/lib.rs index 74f2065e..114084a1 100644 --- a/rust/examples/dwarf/dwarf_import/src/lib.rs +++ b/rust/examples/dwarf/dwarf_import/src/lib.rs @@ -551,8 +551,8 @@ pub extern "C" fn CorePluginInit() -> bool { r#"{ "title" : "Debuginfod Server URLs", "type" : "array", - "elementType" : "string", - "default" : [], + "sorted" : true, + "default" : [], "description" : "Servers to use for fetching DWARF debug info for files with a .note.gnu.build-id section.", "ignore" : [] }"#, @@ -574,7 +574,7 @@ pub extern "C" fn CorePluginInit() -> bool { r#"{ "title" : "Debug File Directories", "type" : "array", - "elementType" : "string", + "sorted" : true, "default" : [], "description" : "Paths to folder containing DWARF debug info stored by build id.", "ignore" : [] |
