Skip to content

Manager to reuse reserved id #272

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

Open
Art3miX opened this issue Mar 18, 2025 · 0 comments
Open

Manager to reuse reserved id #272

Art3miX opened this issue Mar 18, 2025 · 0 comments

Comments

@Art3miX
Copy link
Contributor

Art3miX commented Mar 18, 2025

We can improve the manager to reuse a reserved id instead of reserving new ids every single run.

Simple manual way of doing it is to provide an id in the builder/program config, then the manager can check if this id is free (no program deployed) and if it is, use it.

Automated way would be to save it in some sort of cache (file), and if the deployment errored, next deployment will use the id in cache, if it succeeded we can remove id from cache.

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

1 participant