Now, I think my patch is consistent.
internal_exception and real_exception have the same problem, both write in stderr.
internal_exception directly, real_exception via find_exception_handler.
In both case, I add a fflush(stderr) after fprintf(stderr, ...).
Francois Perrrad
debuginfo.patch
Description: Binary data
