pg_upgrade: Split off pg_fatal() from pg_log()

Peter Eisentraut <peter_e@gmx.net>

Commit: 264aa14a2f687eba8c8cc2a5b6cbd6397973da98
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2013-10-10T02:48:41Z
Releases: 9.4.0
pg_upgrade: Split off pg_fatal() from pg_log()

This allows decorating pg_fatal() with noreturn compiler hints, leading
to better diagnostics.

Reviewed-by: Marko Tiikkaja <marko@joh.to>

Files