Jochem van Dieten <jochemd@oli.tudelft.nl> writes:
> I have never in my live coded a single byte in C. But I have found the
> check in the sourcecode that throws this error and it looks like I can
> just delete it so I will have a go at it.
Yeah, you could probably just "continue" instead of "exit_nicely()".
I don't like that as a permanent fix, but for a quick hack it will
no doubt serve your purposes.
regards, tom lane