Andreas Tille <ti...@debian.org> writes: > Do you have any idea why your means to fix this issue were not > successfully?
Ah, yeah, a closer look indicates that the code I patched takes effect only for *silent* crashes, whereas these were fatal exceptions accompanied by error messages. I'll look into broadening this workaround accordingly. Meanwhile, thanks for pinging me -- I'd optimistically skipped subscribing to this bug (but will do so now). -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu