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

[gcs] don't prove airframe dtd if served via http

Browse Source
This commit is contained in:
Felix Ruess
2015-07-16 23:11:31 +02:00
parent dd32e13683
commit c5c2ef4f22
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/live.ml
+3 -1
View File
@@ -448,7 +448,9 @@ let create_ac = fun alert (geomap:G.widget) (acs_notebook:GPack.notebook) (strip
(** Get the airframe file *) (** Get the airframe file *)
let af_url = Pprz.string_assoc "airframe" config in let af_url = Pprz.string_assoc "airframe" config in
let af_file = Http.file_of_url af_url in let af_file = Http.file_of_url af_url in
let af_xml = ExtXml.parse_file af_file in (* do not check dtd if it is a http url *)
let via_http = Str.string_match (Str.regexp "http") af_url 0 in
let af_xml = ExtXml.parse_file ~noprovedtd:via_http af_file in
(** Get an alternate speech name if available *) (** Get an alternate speech name if available *)
let speech_name = get_speech_name af_xml name in let speech_name = get_speech_name af_xml name in