123 |
lprintf_nl () "WARNING, source was not tested"; |
lprintf_nl () "WARNING, source was not tested"; |
124 |
raise Continue |
raise Continue |
125 |
end |
end |
126 |
|
(* expected not used anymore |
127 |
| File_expected -> |
| File_expected -> |
128 |
if time + 1800 < last_time () then begin |
if time + 1800 < last_time () then begin |
129 |
incr_propositions kind File_not_found; |
incr_propositions kind File_not_found; |
130 |
raise Continue |
raise Continue |
131 |
end |
end *) |
132 |
| File_possible -> |
| File_possible -> |
133 |
if !verbose then |
if !verbose then |
134 |
lprintf_nl () "WARNING, source was unknown"; |
lprintf_nl () "WARNING, source was unknown"; |
141 |
| File_upload -> |
| File_upload -> |
142 |
incr_propositions kind File_found; |
incr_propositions kind File_found; |
143 |
raise Continue |
raise Continue |
|
| File_unknown -> assert false |
|
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... *) |