Call exit() instead of abort() when crashing with an error message?
This follows a comment by @lhausammann and @pdraper.
Should we call exit()
and not abort()
in error()
? It seems that we can make little use of the core dump files when running with MPI and that the size of these is more a problem than anything.
Thoughts?