You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Oct 30, 2018. It is now read-only.
The job has to be user specific so we can delete the file from the right index. Looking at the code there is bug #70. The delete job fetches all deleted fileids (from all users) and tries to delete them from a single users index. Next time the job is run for a different user. No deleted files will be found and the index will not get cleaned up.
I’m closing this issue because it has been inactive for a few months. This probably means that it is not reproducible or it has been fixed in a newer version. If it’s an enhancement and hasn’t been taken on for so long, then it seems no one has the time to implement this.
what happens:
@butonic let's chat about this as well
The text was updated successfully, but these errors were encountered: