X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable_driver.ml;fp=src%2Ftable_driver.ml;h=371dbdf5eba5fc53ad28d02878079e97f6369119;hp=d75c5df8d514e780c51a6a446acc1b5f28a29259;hb=8fbdb25170c3376272f7eec7ef2be8fc008d11f7;hpb=f636f951e53b2503718d1e740ff7d967486d23f8 diff --git a/src/table_driver.ml b/src/table_driver.ml index d75c5df..371dbdf 100644 --- a/src/table_driver.ml +++ b/src/table_driver.ml @@ -9,15 +9,16 @@ let main () = let () = Table_options.parse () in let doc = let fd, close_fd = match !Table_options.input_file with - None | Some "-" | Some "/dev/stdin" ->stdin,ignore (*qu'est-ce que c'est ignore?????*) + None | Some "-" | Some "/dev/stdin" ->stdin,ignore | Some input -> let fd = open_in input in fd, fun() -> close_in fd in (*let inc = open_in Sys.argv.(1) in*) let doc = Naive_tree.load_xml_file fd in - close_fd(); (*ca sert a fermer fd????*) + close_fd(); doc in + (*Hashtbl.clear Query_tree.table_query_tree; il faut vider le hashtbl?????????????????*) let queries = List.map ( fun q -> parse_xpath q)