A command to purge the local files of any servers it's not in

rubellyte / Red_Star

Discord administration bot.

MIT License

4 stars 1 forks source link

A command to purge the local files of any servers it's not in #192

Closed Zenorax closed 1 year ago

Zenorax commented 5 years ago

If the bot left a server, that server's info is still in the config files. This would look at the files and delete any info that is not from a server it's in. Or something.

rubellyte commented 4 years ago

This one has to wait until we've changed our configuration model to a more server-segregated one. We could potentially implement it under the current system, but it would be messy, and more importantly, a wasted effort.