Skip to content

Fix a few race conditions#658

Merged
KirillOsenkov merged 3 commits intoKirillOsenkov:mainfrom
yuehuang010:main
Feb 27, 2023
Merged

Fix a few race conditions#658
KirillOsenkov merged 3 commits intoKirillOsenkov:mainfrom
yuehuang010:main

Conversation

@yuehuang010
Copy link
Copy Markdown
Contributor

@yuehuang010 yuehuang010 commented Feb 27, 2023 •
edited
Loading

  • Fix a potential race condition when create Timeline.
  • Fix a potential race condition when adding SkipTarget message with creating Project Properties Folder.

@KirillOsenkov KirillOsenkov merged commit 2800fc5 into KirillOsenkov:main Feb 27, 2023
@antonioaversa antonioaversa mentioned this pull request Apr 19, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@yuehuang010 @KirillOsenkov