Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-23 04:45:37 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

Exceptions catch on XML errors

Browse Source
This commit is contained in:
Pascal Brisset
2007-12-18 08:48:09 +00:00
parent 014c81f25a
commit 3b1b0fa206
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/pc_common.ml
+1 -1
View File
@@ -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)
sw/supervision/pc_control_panel.ml
+1 -1
View File
@@ -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