--- Comment #5 from Jeremias Maerki <[EMAIL PROTECTED]>  2008-10-21 03:23:26 
PST ---
(In reply to comment #4)
> Doesn't the cache check for the modification date of file: URIs? Seems like a
> natural thing to do.

No. Natural it may be if you only look at file URLs, but not all URLs provide a
modification date. And we're actually working with URIs, not URLs, which don't
have a modification date. Maybe this can be improved. Experiments welcome.

Configure bugmail:
------- You are receiving this mail because: -------
You are the assignee for the bug.

Reply via email to