119 |
match r with |
match r with |
120 |
| File_new_source -> |
| File_new_source -> |
121 |
if time + 1800 < last_time () then begin |
if time + 1800 < last_time () then begin |
122 |
if !verbose_hidden_errors then |
if !verbose then |
123 |
lprintf_nl () "WARNING, source was not tested"; |
lprintf_nl () "WARNING, source was not tested"; |
124 |
raise Continue |
raise Continue |
125 |
end |
end |
129 |
raise Continue |
raise Continue |
130 |
end |
end |
131 |
| File_possible -> |
| File_possible -> |
132 |
if !verbose_hidden_errors then |
if !verbose then |
133 |
lprintf_nl () "WARNING, source was unknown"; |
lprintf_nl () "WARNING, source was unknown"; |
134 |
if time + 1800 < last_time () then raise Continue |
if time + 1800 < last_time () then raise Continue |
135 |
| File_not_found -> |
| File_not_found -> |
144 |
with |
with |
145 |
| Not_found -> |
| Not_found -> |
146 |
(* For some reason, the request was forgotten. Forget it... *) |
(* For some reason, the request was forgotten. Forget it... *) |
147 |
if !verbose_hidden_errors then |
if !verbose then |
148 |
lprintf_nl () "ERROR, request was forgotten"; |
lprintf_nl () "ERROR, request was forgotten"; |
149 |
let _ = Fifo.take propositions in |
let _ = Fifo.take propositions in |
150 |
compute_stats () |
compute_stats () |
164 |
DonkeySources.set_request_result s file.file_sources File_new_source; |
DonkeySources.set_request_result s file.file_sources File_new_source; |
165 |
Fifo.put propositions (s, file, kind, last_time ()) |
Fifo.put propositions (s, file, kind, last_time ()) |
166 |
| _ -> |
| _ -> |
167 |
if !verbose_hidden_errors then |
if !verbose then |
168 |
lprintf_nl () "ERROR, proposed client is indirect"; |
lprintf_nl () "ERROR, proposed client is indirect"; |
169 |
raise Exit |
raise Exit |
170 |
|
|