Skip to content

Fix web server startup from REPL#24

Merged
briangu merged 1 commit intomainfrom
codex/fix-web-server-not-launching-in-repl
May 20, 2025
Merged

Fix web server startup from REPL#24
briangu merged 1 commit intomainfrom
codex/fix-web-server-not-launching-in-repl

Conversation

@briangu
Copy link
Owner

@briangu briangu commented May 19, 2025

Summary

  • ensure web server start/stop functions operate on async loop thread
  • add asyncio imports
  • expose REPL setup utilities
  • add unit test for web server startup and shutdown

Testing

  • python3 -m unittest

@briangu briangu merged commit de0dab3 into main May 20, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant