W3C home > Mailing lists > Public > www-jigsaw@w3.org > November to December 2000

Re: Remove Files from Docs Space

From: Yves Lafon <ylafon@w3.org>
Date: Tue, 5 Dec 2000 11:33:48 +0100 (MET)
To: Peter Vogel <peter.vogel2@de.bosch.com>
cc: <www-jigsaw@w3.org>
Message-ID: <Pine.SOL.4.30.0012051126030.8827-100000@tarantula.inria.fr>
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."
Received on Tuesday, 5 December 2000 05:35:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:34 GMT