[Virtuoso-users] index in WebDAV rdf_sink inconsistent

[Mikael Högqvist]

Hi,

I'm managing my RDF data files with WebDAV in the rdf_sink directory.
The problem I have is that when I remove files from there, the index
is not updated accordingly. Is this the intended behavior?

Best Regards,
Mikael