https://issues.apache.org/bugzilla/show_bug.cgi?id=46048
--- 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: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
