Hi Loic,
+ * Fix segfault when resizing the terminal rapidly by checking more
carefully
+ whether the display line is set prior to refering to it.
+ [info/display.c:display_update_one_window]
Thanks for sending in this change (and thanks, Norbert, for passing it
on, since otherwise I would never have learned about it). The patch is
certainly sensible, and I've installed it.
As for the remaining problem:
occasional segfault when rapidly resizing, with a weird value of entry:
...
I'm afraid some corruption happens or unintialized memory is used, and
I suggest you run info in valgrind.
1) Unfortunately, I can't resize my window rapidly enough to make the
crash happen.
2) Unfortunately again, I'm not set up to run valgrind, nor can I make
it (and analyzing the results) a priority.
3) If you or anyone are able to use valgrind or other tools to detect
such memory problems, that would be great. I am not surprised that
rapid window resizes (and consequent signal handling) are not 100%
robust. That code was written many, many years ago, and this is one
of the many areas where standards committees have promulgated many changes.
Thanks again for the patch.
Karl
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
