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