On Tue, Jul 3, 2012 at 12:55 PM, Evan Martin
<postgresql@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).