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

Disallow updating a module that is already updating #6

Closed
quentinguidee opened this issue May 19, 2023 · 0 comments · Fixed by #75
Closed

Disallow updating a module that is already updating #6

quentinguidee opened this issue May 19, 2023 · 0 comments · Fixed by #75
Assignees
Labels
repo: Server type: Enhancement New feature or request

Comments

@quentinguidee
Copy link
Member

Currently, two users can concurrently start an update. The second user should get an error.

@quentinguidee quentinguidee added the type: Enhancement New feature or request label May 19, 2023
@quentinguidee quentinguidee changed the title Disallow updating a service that is already updating Disallow updating a module that is already updating Sep 18, 2023
@quentinguidee quentinguidee moved this to Todo in Vertex Project Sep 19, 2023
@quentinguidee quentinguidee moved this to Todo in Vertex Project Sep 19, 2023
@quentinguidee quentinguidee added this to the Vertex v0.13.0 milestone Oct 14, 2023
@quentinguidee quentinguidee linked a pull request Oct 14, 2023 that will close this issue
2 tasks
@quentinguidee quentinguidee moved this from Todo to In Progress in Vertex Project Oct 14, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Done in Vertex Project Oct 15, 2023
@quentinguidee quentinguidee self-assigned this Oct 16, 2023
quentinguidee added a commit that referenced this issue Mar 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
repo: Server type: Enhancement New feature or request
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

1 participant