--- Comment #6 from Vincent Hennebert <[EMAIL PROTECTED]>  2008-10-21 03:31:39 
PST ---
(In reply to comment #5)
> (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.

That's why I said /file:/ URIs. Something like:
if (uri.getScheme() == "file") {
    check the modification date of the corresponding file
Doesn't seem complicated, but I'm obviously missing the big picture.

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

Reply via email to