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.

Sign up for GitHub

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

Jump to bottom

REST API: Catch faulty UUIDs #453

Open
XaverStiensmeier opened this issue Nov 28, 2023 · 0 comments
Open

REST API: Catch faulty UUIDs #453

XaverStiensmeier opened this issue Nov 28, 2023 · 0 comments
Labels
enhancement
Milestone
SimpleVM Ready

Comments

@XaverStiensmeier
Copy link
Contributor

XaverStiensmeier commented Nov 28, 2023 •
edited
Loading

For some purposes it seems to be useful that the user is able to hand over the bibigrid id for startup (given that the check returns a uuid that you can then use for startup in order to store all logging in the same file). We should check that this is a valid UUID.
@XaverStiensmeier XaverStiensmeier changed the title REST API: Abfangen von fehlerhaften doppelten UUIDs REST API: Catch faulty UUIDs Jan 17, 2024
@XaverStiensmeier XaverStiensmeier changed the title REST API: Catch faulty UUIDs REST API: Catch faulty UUID user inputs Jan 17, 2024
@XaverStiensmeier XaverStiensmeier added this to the REST Ready milestone Feb 5, 2024
@XaverStiensmeier XaverStiensmeier changed the title REST API: Catch faulty UUID user inputs REST API: Catch faulty UUIDs Apr 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
SimpleVM Ready
Development

No branches or pull requests
1 participant
@XaverStiensmeier