index fbd11883e17b8dde702863ffab4972217e9f6f71..3d05297b0d9093d0bdda0bc729240226975f5d84 100644 (file)
@@ -6528,7 +6528,7 @@ write_item(const void *data, Size len, FILE *fp)
{
if (fwrite(&len, 1, sizeof(len), fp) != sizeof(len))
elog(FATAL, "could not write init file");
- if (fwrite(data, 1, len, fp) != len)
+ if (len > 0 && fwrite(data, 1, len, fp) != len)
elog(FATAL, "could not write init file");
}