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

Remove Files from Docs Space

From: Peter Vogel <peter.vogel2@de.bosch.com>
Date: Thu, 30 Nov 2000 18:15:47 +0100
Message-ID: <3A268B43.5E0A5ADD@de.bosch.com>
To: www-jigsaw@w3.org

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?

Could you give me a link, where those configuration
details are explained in more detail?



Received on Thursday, 30 November 2000 12:14:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:29 UTC