Skip to content

Allow prefixing of the token for a WorkDoneProgress with a custom string #1493

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.

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

Merged
merged 1 commit into from
Jun 21, 2024

Conversation

ahoppen
Copy link
Member

@ahoppen ahoppen commented Jun 19, 2024

This allows VS Code to detect when sourcekitd has crashed and prompt the user to gather a diagnostic report + file an issue about the crash.

I took this opportunity to refactor the WorkDoneProgress that effectively counts how many tasks of this kind are going on, into a separate type. I’m not quite happy with the name SharedWorkDoneProgressManager. Happy for better suggestions if anyone has some.

rdar://129678779
Fixes #1476

@ahoppen
Copy link
Member Author

ahoppen commented Jun 19, 2024

@swift-ci Please test

…tring

This allows VS Code to detect when sourcekitd has crashed and prompt the user to gather a diagnostic report + file an issue about the crash.

rdar://129678779
Fixes swiftlang#1476
@ahoppen ahoppen force-pushed the work-done-progress-token-prefix branch from d89f5b2 to 3003fe1 Compare June 20, 2024 16:05
@ahoppen
Copy link
Member Author

ahoppen commented Jun 20, 2024

@swift-ci Please test

@ahoppen
Copy link
Member Author

ahoppen commented Jun 20, 2024

@swift-ci Please test Windows

@ahoppen ahoppen enabled auto-merge June 20, 2024 16:05
@ahoppen
Copy link
Member Author

ahoppen commented Jun 20, 2024

@swift-ci Please test Windows

@ahoppen
Copy link
Member Author

ahoppen commented Jun 20, 2024

@swift-ci Please test macOS

@ahoppen
Copy link
Member Author

ahoppen commented Jun 20, 2024

@swift-ci Please test Windows

@ahoppen ahoppen merged commit e75fac5 into swiftlang:main Jun 21, 2024
3 checks passed
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.

Add an identifier to work done progress messages
3 participants