Skip to content

(Untested) Proposed fix for issue 5 - Two or more users can create a …#12

Open
Paul-Schroeder wants to merge 2 commits intomasterfrom
dev/issue/5_ResourceSchedule_RaceCondition
Open

(Untested) Proposed fix for issue 5 - Two or more users can create a …#12
Paul-Schroeder wants to merge 2 commits intomasterfrom
dev/issue/5_ResourceSchedule_RaceCondition

Conversation

@Paul-Schroeder
Copy link
Member

…reservation when doing so exactly at the same time. Note: This code compiles, but it has not been tested!

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

Successfully merging this pull request may close these issues.

1 participant