Repository navigation
Keep REPL history-save errors from replacing exit status - #9081
Conversation
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
Important Review skippedReview was skipped as selected files did not have any reviewable changes. ⚙️ Run configuration
You can disable this status message by setting the Use the checkbox below for a quick retry:
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info
📝 Walkthrough
Merge Risk: ⚪ Minimal · up to History-save failures no longer replace a requested SystemExit status or turn normal shell exit into a panic. No actionable merge risk remains from the reviewed change. Pre-merge checks |
|
Restore the two-line fix from RustPython#9078 onto main after it was merged into the Python 3.15 staging branch. Assisted-by: OpenAI Codex:model identifier unavailable
f194668 to
109ea4e
Compare
Summary
Restore #9078 onto
main. That PR was accidentally merged intostack/python-3.15-8950; this follow-up contains only its two-linesrc/shell.rsfix in one commit based directly on current main.Treat saving REPL history as best effort on EOF and
SystemExit, preserving normal exit status when the history path cannot be written.Validation
src/shell.rsblob is identical to the reviewed Keep REPL history failures from changing exit status #9078 fix; no other files or staging-branch changes are included.git diff --checkpassed.SystemExit(7). Those runtime results belong to the earlier build, not this new main-based commit.AI assistance: OpenAI Codex prepared this restoration and checked its scope and prior evidence.
Summary by CodeRabbit