Skip to content

Conversation

@twose
Copy link
Member

@twose twose commented Aug 13, 2022

Occurred when exit() with uncaught exception in finally block.

Occurred when exit() with uncaught exception in finally block.
@twose
Copy link
Member Author

twose commented Aug 13, 2022

Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the PR! I think this is the proper way to solve this; the alternative of declaring the property on UnwindExit and GracefulExit probably makes no sense.

@twose
Copy link
Member Author

twose commented Aug 15, 2022

@cmb69 Thanks for your review! Feel free to merge this whenever you see fit.

@cmb69
Copy link
Member

cmb69 commented Aug 15, 2022

@twose, you already should have commit karma. :)

@twose twose merged commit 7eba683 into php:master Aug 15, 2022
@twose twose deleted the exit_in_finally branch August 15, 2022 12:54
@twose
Copy link
Member Author

twose commented Aug 15, 2022

@cmb69 Fine, just thought it would be more standardized if the pull request was merged by the reviewer, I may make some grammar mistakes in commit messages sometimes... Also feel free to correct me in time if you notice that. :)

@TimWolla
Copy link
Member

@twose Should this be added to NEWS?

twose added a commit that referenced this pull request Aug 15, 2022
@twose
Copy link
Member Author

twose commented Aug 15, 2022

@twose Should this be added to NEWS?

@TimWolla Thanks for the reminder! I'll remember this point next time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants