Skip to content

Send DONE message before disconnecting#150

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

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!

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.

2 participants