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
User deletion: If no other references to the sharing group, can we delete the sharing group? Put a comment to this effect in the user deletion. Probably defer this until we know for certain that we have foreign key references to all uses, to make testing better.
We also have an apparent race condition in integrity. In marking all files of the user as deleted, and other users trying to get a file index. Also seems like we need to do this marking of files as deleting using the usual system mechanisms of incrementing master version. Just don't delete the files from cloud storage.
The text was updated successfully, but these errors were encountered:
User deletion: If no other references to the sharing group, can we delete the sharing group? Put a comment to this effect in the user deletion. Probably defer this until we know for certain that we have foreign key references to all uses, to make testing better.
We also have an apparent race condition in integrity. In marking all files of the user as deleted, and other users trying to get a file index. Also seems like we need to do this marking of files as deleting using the usual system mechanisms of incrementing master version. Just don't delete the files from cloud storage.
The text was updated successfully, but these errors were encountered: