Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 16:42:47 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

use ExtXml.parse_file to handle errors

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-24 22:16:35 +00:00
parent 3561a059b2
commit 467dfa3a8f
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/gen_flight_plan.ml
+3 -6
View File
@@ -672,7 +672,7 @@ let () =
if !xml_file = "" then
failwith (sprintf "Usage: %s <xml-flight-plan-file>" Sys.argv.(0));
try
let xml = Xml.parse_file !xml_file in
let xml = ExtXml.parse_file !xml_file in
let wgs84 = georef_of_xml xml in
let xml = check_geo_ref wgs84 xml in
@@ -804,9 +804,6 @@ let () =
Xml2h.finish h_name
end
with
Xml.Error e -> fprintf stderr "%s: XML error:%s\n" !xml_file (Xml.error e); exit 1
| Dtd.Prove_error e -> fprintf stderr "%s: DTD prove error:%s\n%!" !xml_file (Dtd.prove_error e); exit 1
| Dtd.Check_error e -> fprintf stderr "%s: DTD check error:%s\n%!" !xml_file (Dtd.check_error e); exit 1
| Dtd.Parse_error e -> fprintf stderr "%s: DTD parse error:%s\n%!" !xml_file (Dtd.parse_error e); exit 1
| Failure x -> fprintf stderr "%s: %s\n" !xml_file x; exit 1
Failure x ->
fprintf stderr "%s: %s\n" !xml_file x; exit 1