[issue11393] Integrate faulthandler module into Python 3.3

[STINNER Victor]

STINNER Victor <victor.stinner at haypocalc.com> added the comment:

Remainder for me: the patch contains some whitespace changes in Makefile.pre.in and Setup.dist.

dump_traceback(), enable(), dump_tracebacks_later(), register() flush the input file. It is not said in the doc. Should it be documented? For enable(), dump_tracebacks_later(), register(), it may be useless because the traceback is dumped later, and there may be new buffered data in the file. But I don't think that it hurts to flush the file.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue11393>
_______________________________________