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