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.

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

The bot do not work after ~40min dev time #121

Open
neolectron opened this issue Nov 1, 2023 · 1 comment
Open

The bot do not work after ~40min dev time #121

neolectron opened this issue Nov 1, 2023 · 1 comment

Comments

@neolectron
Copy link
Member

After working on the bot for a while, the function that push the commands do stale indefinitely.

The Rest.put call that push all commands blocks, and I believe we do get timeout by discord for doing that so often. (each code reload)

Proposal

Use Rest.get to get all commands schemas and diff with the one we have locally,
if nothing change: don't push,
if a command schema change: push only the changed command.

@potb
Copy link
Member

potb commented Nov 2, 2023

I suggest we store that result in a database so we don't even have to request for the latest commands

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants