Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 14:35:51 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

cleaning

Browse Source
This commit is contained in:
Pascal Brisset
2007-10-13 08:21:07 +00:00
parent ca45ac5a5f
commit a461d2c920
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/pc_common.ml
+1 -3
View File
@@ -230,13 +230,11 @@ let _ =
let conf_xml_file = conf_dir // "conf.xml"
let backup_xml_file = conf_xml_file ^ "~"
let aircrafts = Hashtbl.create 7
let aircrafts_table_has_changed = ref false
let build_aircrafts = fun () ->
let conf_xml = Xml.parse_file conf_xml_file in
List.iter (fun aircraft ->
Hashtbl.add aircrafts (ExtXml.attrib aircraft "name") aircraft)
(Xml.children conf_xml);
aircrafts_table_has_changed := true
(Xml.children conf_xml)