Re: [Virtuoso-users] index in WebDAV rdf_sink inconsistent

Hi Mikael, The problem is acknowledged and we are working on fixing it. Best Regards, Rumi 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

[Virtuoso-users] index in WebDAV rdf_sink inconsistent

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