| 72 |
let buflen = 1000 |
let buflen = 1000 |
| 73 |
let buf = String.create buflen |
let buf = String.create buflen |
| 74 |
|
|
| 75 |
|
ifdef EXPAT then |
| 76 |
|
|
| 77 |
let load_expat s = |
let load_expat s = |
| 78 |
let p = Expat.parser_create "" in |
let p = Expat.parser_create "" in |
| 79 |
Expat.set_start_element_handler p |
Expat.set_start_element_handler p |
| 109 |
Expat.Expat_error e -> |
Expat.Expat_error e -> |
| 110 |
failwith ("Expat ("^s^"):"^Expat.xml_error_to_string e) |
failwith ("Expat ("^s^"):"^Expat.xml_error_to_string e) |
| 111 |
|
|
| 112 |
|
else |
| 113 |
|
|
| 114 |
|
let load_expat s = |
| 115 |
|
failwith "Expat support not included" |
| 116 |
|
|
| 117 |
|
|
| 118 |
|
|
| 119 |
let handle_event = function |
let handle_event = function |
| 120 |
| E_start_tag (name,att,_) -> |
| E_start_tag (name,att,_) -> |