karellen / karellen-jdb-mcp

88%

Build Type

push

github

Committed by web-flow

Commit Message

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

Coverage Stats

268 of 324 branches covered (82.72%)

Branch coverage included in aggregate %.

65 of 75 new or added lines in 1 file covered. (86.67%)

2 existing lines in 1 file now uncovered.

1271 of 1424 relevant lines covered (89.26%)

4.43 hits per line