On Thu, Nov 17, 2011 at 11:24:24AM +0100, Michel Dänzer wrote: > Can you try if the patch below fixes this crash?
Heh. I wish I could tell you. Before testing the patch I tried to reproduce the crash, just to make sure I could actually tell it was gone afterwards. Turns out I can't reproduce it anymore, because WordPress (where I originally encountered the crash, reliably) seem to have changed something in their web interface, and I can't reproduce the crash anymore. I haven't installed any upgrades since I reported the bug, so my system's behavior should still be the same. Murphy's Law, I guess. :) Testing out your patch at least didn't make anything worse. But I'm going back to the original version right now to wait and see if I can discover some other way to reproduce the crash. Maybe you have an idea of how I could reproduce it, based on the gdb trace I sent? Best, Jan -- +-------------------------------------+ | Jan Oberländer <mindr...@gmx.net> | | PGP key: 0xC4D910E3 | +-------------------------------------+ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
