mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-21 23:33:23 +02:00
output stream. This typically indicates that the user quit out of $PAGER, or that we are writing to a file and ran out of disk space. In either case we shouldn't bother to continue fetching data. Stephen Frost |
||
---|---|---|
.. | ||
initdb | ||
pg_config | ||
pg_controldata | ||
pg_ctl | ||
pg_dump | ||
pg_resetxlog | ||
pgevent | ||
psql | ||
scripts | ||
Makefile |