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

Replace the word 'abort' by 'terminate' if we exit with a zero error code #2341

Merged

MFraters merged 1 commit into geodynamics:master from bangerth:fix-wording

Jun 20, 2018

Contributor

bangerth commented Jun 20, 2018

abort has the connotation of being an error, but we just do exit(0), which is totally acceptable way to say that we just end the program.


          Replace the word 'abort' by 'terminate' if we exit with a zero error …

157bdf4

…code.

tjhei approved these changes

View reviewed changes

Contributor Author

bangerth commented Jun 20, 2018

@tjhei approved this. Anyone willing to merge? (The Jenkins tester is currently broken, but the other three testers are ok with this patch.)

MFraters merged commit 7d763c4 into geodynamics:master

bangerth deleted the fix-wording branch

June 20, 2018 18:23

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