"coords", min_x^","^min_y^" "^max_x^","^max_y
| x -> x) l
in
- let p =
+ try
+ let p =
XmlPushParser.create_parser
{ XmlPushParser.default_callbacks with
XmlPushParser.start_element =
| "area" when is_rect attrs -> areas := attrs :: !areas
| "area" when is_poly attrs -> areas := rectify attrs :: !areas
| _ -> ()) } in
- XmlPushParser.parse p (`File fname);
- map <- !areas
+ XmlPushParser.parse p (`File fname);
+ map <- !areas
+ with XmlPushParser.Parse_error _ -> ()
method private find_href x y =
List.find