index 04cd365e765e7a6300033a69145579793143403b..1d855645b91cb712a856de7eda361ca550956b60 100644 (file)
#endif
#ifdef PG_FLUSH_DATA_WORKS
-static void pre_sync_fname(const char *fname, bool isdir,
+static int pre_sync_fname(const char *fname, bool isdir,
const char *progname);
#endif
static void walkdir(const char *path,
*/
#ifdef PG_FLUSH_DATA_WORKS
-static void
+static int
pre_sync_fname(const char *fname, bool isdir, const char *progname)
{
int fd;
@@ -197,10 +197,10 @@ pre_sync_fname(const char *fname, bool isdir, const char *progname)
if (fd < 0)
{
if (errno == EACCES || (isdir && errno == EISDIR))
- return;
+ return 0;
fprintf(stderr, _("%s: could not open file \"%s\": %s\n"),
progname, fname, strerror(errno));
- return;
+ return -1;
}
/*
@@ -217,6 +217,7 @@ pre_sync_fname(const char *fname, bool isdir, const char *progname)
#endif
(void) close(fd);
+ return 0;
}
#endif /* PG_FLUSH_DATA_WORKS */