Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix the majority of verification race conditions #4

Merged
merged 1 commit into from
Dec 30, 2022
Merged

Fix the majority of verification race conditions #4

merged 1 commit into from
Dec 30, 2022

Commits on Dec 30, 2022

  1. Fix the majority of verification race conditions 

    Data races can probably still occur in the following cases:
- If Discord is still adding the role when we fetch the user for the
  second time
- If we don't all verify, for example if someone does a kick and someone
  else does a verify

These are substantially less likely than the common case, which has
happened several times now

This was ported over from TransGG/theo#5
    @Minion3665
    Minion3665 committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    5d6c8f6 View commit details
    Browse the repository at this point in the history