diff --git a/sw/supervision/pc_common.ml b/sw/supervision/pc_common.ml index 897f838d8f..4a761d6ffa 100644 --- a/sw/supervision/pc_common.ml +++ b/sw/supervision/pc_common.ml @@ -231,7 +231,7 @@ let conf_xml_file = conf_dir // "conf.xml" let backup_xml_file = conf_xml_file ^ "~" let aircrafts = Hashtbl.create 7 let build_aircrafts = fun () -> - let conf_xml = Xml.parse_file conf_xml_file in + let conf_xml = ExtXml.parse_file conf_xml_file in List.iter (fun aircraft -> Hashtbl.add aircrafts (ExtXml.attrib aircraft "name") aircraft) (Xml.children conf_xml) diff --git a/sw/supervision/pc_control_panel.ml b/sw/supervision/pc_control_panel.ml index f6a827c8e7..6dfcef5f61 100644 --- a/sw/supervision/pc_control_panel.ml +++ b/sw/supervision/pc_control_panel.ml @@ -30,7 +30,7 @@ module Utils = Pc_common let (//) = Filename.concat let control_panel_xml_file = Utils.conf_dir // "control_panel.xml" -let control_panel_xml = Xml.parse_file control_panel_xml_file +let control_panel_xml = ExtXml.parse_file control_panel_xml_file let programs = let h = Hashtbl.create 7 in let s = ExtXml.child ~select:(fun x -> Xml.attrib x "name" = "programs") control_panel_xml "section" in