Telin Lin <tlin(at)rosettastone(dot)com> writes:
> the core dump filename should be just like 'coredump', right?
Probably either "core" or "core.NNNN" kind of name. In existing
PG releases you'll usually find it under $PGDATA/base/NNNN/
regards, tom lane