karellen / karellen-jdb-mcp / 23826753456 / 3

88%

master: 88%

push

github

Replace queue with JdbReadStream; add pushback for execution commands [release] (#7)

## Summary

- Replace queue-based stdout reader with `JdbReadStream`: a read-only
byte stream backed by a buffer + `threading.Event` (no queue). Reader
thread appends and signals; consumers wait on the event and drain the
buffer.
- `unread(data)` pushes bytes back to the front of the buffer for the
next read.
- `_send_execution_command` pushes back unconsumed data on deadline
expiry so `wait_for_event` picks it up without data loss — eliminates
the race between `cont` and `wait_for_event`.
- Internal refactor only, no user-facing API changes.

## Test plan
- [x] All 317 unit tests pass
- [x] Full build passes (including flake8)
- [x] Manually tested with live Gradle test worker via JDB

268 of 324 branches covered (82.72%)

Branch coverage included in aggregate %.

1271 of 1424 relevant lines covered (89.26%)

0.89 hits per line