Skip to content

[Fix #257] Keep hdb server running when debug session ends#258

Merged
Saizan merged 5 commits intomasterfrom
issue257
Apr 7, 2026
Merged

[Fix #257] Keep hdb server running when debug session ends#258
Saizan merged 5 commits intomasterfrom
issue257

Conversation

@Saizan
Copy link
Copy Markdown
Collaborator

@Saizan Saizan commented Apr 2, 2026

The goal is to let a user connect and run a debug session multiple times from the same project, while not leaking threads.

TODOs:

  • [ ] Should this be behind a flag? Things seem to work fine without
  • [ ] call registerNewDebugSession from initialize handler already? No sessionId yet.
  • rename exitCleanly to terminateSessionCleanly
  • unit test
  • squash wip commits

@alt-romes
Copy link
Copy Markdown
Collaborator

Let me know once I should take a look @Saizan

@Saizan Saizan force-pushed the issue257 branch 2 times, most recently from b156bfb to 39aeb5b Compare April 7, 2026 14:06
Saizan added 5 commits April 7, 2026 17:26
* the proxy server thread is part of the call to registerNewDebugSession
* we use withAsync for the connection handler thread so it gets killed when parent is.
runGhc has no business messing with them.
@Saizan Saizan marked this pull request as ready for review April 7, 2026 15:29
Copy link
Copy Markdown
Collaborator

@alt-romes alt-romes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Essentially perfect.

The only thing I don't understand is WHY does T130b not trigger on your branches?!!!

@alt-romes
Copy link
Copy Markdown
Collaborator

Land it 👍

@Saizan Saizan merged commit 9725dbd into master Apr 7, 2026
5 checks passed
@Saizan Saizan deleted the issue257 branch April 7, 2026 19:57
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