324 |
let docs = DocIndexer.query index req in |
let docs = DocIndexer.query index req in |
325 |
(* lprintf "%d results\n" (List.length docs); *) |
(* lprintf "%d results\n" (List.length docs); *) |
326 |
Array.iter (fun doc -> |
Array.iter (fun doc -> |
327 |
if DocIndexer.filtered doc then begin |
if DocIndexer.filtered doc then |
328 |
lprintf "doc filtered\n"; |
lprintf_nl "[cInd] doc filtered" |
329 |
end else |
else |
330 |
let r = Document.doc_value doc in |
let r = Document.doc_value doc in |
331 |
(* merge_result s doc.num; *) |
(* merge_result s doc.num; *) |
332 |
(* lprintf "search_add_result: %d\n" r.result_num; *) |
(* lprintf "search_add_result: %d\n" r.result_num; *) |
348 |
) |
) |
349 |
|
|
350 |
end |
end |
|
|
|