Database garbage collection (roles)

geotim90 / Nevini

Multi-purpose Discord bot

https://nevini.de/

Apache License 2.0

4 stars 0 forks source link

Database garbage collection (roles) #120

Open geotim90 opened 3 years ago

geotim90 commented 3 years ago

When roles are deleted, references still remain in the database and are not cleaned up.

(a) Listen for role removal events and purge them from the database
(b) Remove roles that cannot be resolved when used

geotim90 commented 3 years ago

(b) seems like the most efficient way to do this, (a) may produce too many unnecessary database queries and does not solve this issue for roles that already no longer exist