> Am 27.02.2020 um 09:35 schrieb Mircea Carausu via ffmpeg-user <ffmpeg-user at ffmpeg.org>: > > why abort() and not exit() with a err code (i.e. EXIT_FAILURE) The proper answer here is that libraries are not supposed to call exit(). Carl Eugen