You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
XaverStiensmeier
changed the title
REST API: Abfangen von fehlerhaften doppelten UUIDs
REST API: Catch faulty UUIDs
Jan 17, 2024
XaverStiensmeier
changed the title
REST API: Catch faulty UUIDs
REST API: Catch faulty UUID user inputs
Jan 17, 2024
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.
The text was updated successfully, but these errors were encountered: