On Tue, Jul 3, 2012 at 12:55 PM, Evan Martin <span dir="ltr"><<a href="mailto:postgresql@realityexists.net"
target="_blank">postgresql@realityexists.net</a>></span>wrote:<br /><div class="gmail_quote"><blockquote
class="gmail_quote"style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Fixing the bug and
implementingthis are not mutually exclusive. Of course, it should be fixed, but that's just one bug. I've experienced
atleast 3 different kinds of crashes. This is about mitigating the impact of all crashing bugs, which is important,
becausethey will never be eliminated completely.</blockquote></div><br />Especially if the crash has nothing to do with
pgAdmin(like Windows itself crashing).<br />