On Fri, 31 Mar 2000, Vlad Harchev wrote:

> 3) I played with dev23 and its SOURCE_CACHE and I think it's wrong in at
>   least one place - if I press '\' and document is expired when I did that,

What do you mean with "is expired"?

The document is obviously still im memory (otherwise you couldn't
press '\' on it), so the (to me, at least) most obvious meaning
does not apply.

>   then new content will be fetched from the net

I don't think I have seen this, so please give a concrete example.

>   and I will see the source of
>   completely different document.

It should always be from the same URL, so not exactly a "completely
different document".

   Klaus

Reply via email to