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

AW: Remove Files from Docs Space

From: Vogel Peter (FV/SLM) * <Peter.Vogel2@de.bosch.com>
Date: Wed, 6 Dec 2000 17:48:44 +0100
Message-ID: <D7C2090CD687D311AB160008C7E62F92011F10FA@himail5.hi.bosch.de>
To: www-jigsaw@w3.org
Hi Yves,

> > 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.

Thanks , this works.

Nevertheless, the (deleted) resource can only be seen
within the JigAdmin Tool, not by the remote client.
Hence if the Resource will not be accessed (because
no client sees it), the JigAdmin 'Docs Space' will
not be updated?
Could that behaviour be modified?

Regards,

Peter.

Peter.vogel2@de.bosch.com
Received on Wednesday, 6 December 2000 11:49:34 GMT

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