Re: Remove Files from Docs Space

On Thu, 30 Nov 2000, Peter Vogel wrote:

> Hi,
>
> I have a rather trivial question.
>
> When I
> - copy a file or directory (e.g. test.html)
>   to my root directory (Jigsaw/WWW),
>
> - and delete the file afterwards by using
>   Windows Explorer
>
> I still see the file in the Doc Space of
> JigAdmin. I have to delete it a second
> time with the JigAdmin tool.
>
> The file was automatically included in the
> Docs Space after copying it into the root
> directory. Is there a similiar 'automatically'
> way to remove it?

When a resource is a FileResource, it will check that the resource still
exists before sending it back, so just accessing the resource will
automatically delete it from Jigsaw's resources.
Regards,

-- 
Yves Lafon - W3C / Jigsaw - XML Protocol - HTTP
"Baroula que barouleras, au tiéu toujou t'entourneras."