mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-18 16:18:03 +08:00
cleaned up maps_support.ml
This commit is contained in:
@@ -0,0 +1,3 @@
|
||||
<!DOCTYPE maps SYSTEM "maps.dtd">
|
||||
<maps google_version="89"/>
|
||||
|
||||
@@ -29,14 +29,7 @@ let home = Env.paparazzi_home
|
||||
let (//) = Filename.concat
|
||||
let maps_xml_path = home // "conf" // "maps.xml"
|
||||
|
||||
|
||||
let maps_xml = (
|
||||
(*try*) ExtXml.parse_file maps_xml_path
|
||||
(*with
|
||||
Xml.File_not_found f -> (Printf.sprintf "File does not exist: %s" f)
|
||||
| ExtXml.Error s -> (Printf.sprintf "Error in XML file: %s" s)*)
|
||||
)
|
||||
|
||||
let maps_xml = ExtXml.parse_file maps_xml_path
|
||||
|
||||
let google_version = (
|
||||
if !google_ver == 0 then (
|
||||
|
||||
Reference in New Issue
Block a user