Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> The device has plenty of space left.
Disk quota problem maybe?
> The problem appears to be this
> curious code in src/backend/storage/file/fd.c:
> /* if write didn't set errno, assume problem is no disk space */
> if (returnCode != amount && errno == 0)
> errno = ENOSPC;
> What is the rationale for making this assumption?
Because, in fact, that is the usual reason for a short write. Do you
have something better for the code to do?
regards, tom lane