Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix #21233, start REPL when script run with -i throws an error #30199

Merged
merged 1 commit into from
Nov 30, 2018
Merged

fix #21233, start REPL when script run with -i throws an error #30199

merged 1 commit into from
Nov 30, 2018

Conversation

JeffBezanson
Copy link
Member

fixes #21233

@JeffBezanson JeffBezanson added the minor change Marginal behavior change acceptable for a minor release label Nov 29, 2018
@JeffBezanson JeffBezanson merged commit 245bc6d into master Nov 30, 2018
@JeffBezanson JeffBezanson deleted the jb/fix21233 branch November 30, 2018 22:08
staticfloat pushed a commit that referenced this pull request Jan 21, 2019
@JeffBezanson @staticfloat
fix #21233, start REPL when script run with -i throws an error (#30199
f1dffc5 
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vtjnash vtjnash vtjnash approved these changes

Assignees
No one assigned
Labels
minor change Marginal behavior change acceptable for a minor release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Scripts run in interactive mode exit on Error
2 participants
@JeffBezanson @vtjnash