Skip to content

Conversation

@karlseguin
Copy link
Collaborator

Our shutdown could be cleaner, but this at least removes a meaningless (because we're shutting down) log.err that was happening on every test run.

Our shutdown could be cleaner, but this at least removes a meaningless (because
we're shutting down) log.err that was happening on every test run.
@karlseguin karlseguin merged commit f66f4d9 into main Aug 30, 2025
10 checks passed
@karlseguin karlseguin deleted the improve_server_shutdown branch August 30, 2025 04:35
@github-actions github-actions bot locked and limited conversation to collaborators Aug 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants