|
|
@ -83,11 +83,11 @@ get_controlfile(const char *DataDir, const char *progname, bool *crc_ok_p) |
|
|
|
else |
|
|
|
else |
|
|
|
#ifndef FRONTEND |
|
|
|
#ifndef FRONTEND |
|
|
|
ereport(ERROR, |
|
|
|
ereport(ERROR, |
|
|
|
(errmsg("could not read file \"%s\": read %d bytes, expected %d", |
|
|
|
(errmsg("could not read file \"%s\": read %d of %d", |
|
|
|
ControlFilePath, r, (int) sizeof(ControlFileData)))); |
|
|
|
ControlFilePath, r, (int) sizeof(ControlFileData)))); |
|
|
|
#else |
|
|
|
#else |
|
|
|
{ |
|
|
|
{ |
|
|
|
fprintf(stderr, _("%s: could not read file \"%s\": read %d bytes, expected %d\n"), |
|
|
|
fprintf(stderr, _("%s: could not read file \"%s\": read %d of %d\n"), |
|
|
|
progname, ControlFilePath, r, (int) sizeof(ControlFileData)); |
|
|
|
progname, ControlFilePath, r, (int) sizeof(ControlFileData)); |
|
|
|
exit(EXIT_FAILURE); |
|
|
|
exit(EXIT_FAILURE); |
|
|
|
} |
|
|
|
} |
|
|
|