On Tue, Jul 3, 2012 at 12:55 PM, Evan Martin <postgre...@realityexists.net>wrote:
> Fixing the bug and implementing this are not mutually exclusive. Of > course, it should be fixed, but that's just one bug. I've experienced at > least 3 different kinds of crashes. This is about mitigating the impact of > all crashing bugs, which is important, because they will never be > eliminated completely. Especially if the crash has nothing to do with pgAdmin (like Windows itself crashing).