Skip to content

Send DONE message before disconnecting#150

Closed
StefanBruens wants to merge 4 commits into
Gecode:developfrom
StefanBruens:cpprofiler_send_done
Closed

Send DONE message before disconnecting#150
StefanBruens wants to merge 4 commits into
Gecode:developfrom
StefanBruens:cpprofiler_send_done

Conversation

@StefanBruens

Copy link
Copy Markdown

Fixes #149.

@StefanBruens

StefanBruens commented Dec 30, 2023

Copy link
Copy Markdown
Author

@zayenz Ping!

@zayenz zayenz mentioned this pull request Jul 7, 2026
@zayenz

zayenz commented Jul 7, 2026

Copy link
Copy Markdown
Member

Thanks for the contribution, and sorry this sat open for so long.

I reviewed this against the current main branch and ported the fix as a fresh commit: CPProfiler now sends the DONE message before disconnecting. The changelog entry credits your original PR.

I’m closing this PR as superseded by PR #214. Thank you for tracking down the shutdown-order issue.

@zayenz zayenz closed this Jul 7, 2026
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.

3 participants