Skip to content

Conversation

@nialexsan
Copy link
Collaborator

Closes: #???

Description


For contributor use:

  • Targeted PR against master branch
  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
  • Code follows the standards mentioned here.
  • Updated relevant documentation
  • Re-reviewed Files changed in the Github PR explorer
  • Added appropriate labels

@nialexsan nialexsan requested a review from a team as a code owner January 19, 2026 20:46
nialexsan and others added 2 commits January 20, 2026 10:09
Co-authored-by: Bastian Müller <bastian@turbolent.com>
@holyfuchs
Copy link

given the huge implications it would have forgetting to unlock a pid, I would suggest adding the following to all the functions that lock

            post {
                self.positionLock[pid] == nil: "Position is not unlocked"
            }

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.

4 participants