diff options
| author | Tom Lane | 2019-05-14 17:11:23 +0000 |
|---|---|---|
| committer | Tom Lane | 2019-05-14 17:11:23 +0000 |
| commit | 53ddefbaf8a0493d2c1fa0b18bfaba72da556985 (patch) | |
| tree | 926b4b8b961310df9a32d69f9648eb21100d9ef4 /src/bin/pg_rewind/file_ops.c | |
| parent | 7c850320d8cfa5503ecec61c2559661b924f7595 (diff) | |
Remove pg_rewind's private logging.h/logging.c files.
The existence of these files became rather confusing with the
introduction of a widely-known logging.h header in commit cc8d41511.
(Indeed, there's already some duplicative #includes here, perhaps
betraying such confusion.) The only thing left in them, after that
commit, is a progress-reporting function that's neither general-purpose
nor tied in any way to other logging infrastructure. Hence, let's just
move that function to pg_rewind.c, and get rid of the separate files.
Discussion: https://postgr.es/m/[email protected]
Diffstat (limited to 'src/bin/pg_rewind/file_ops.c')
| -rw-r--r-- | src/bin/pg_rewind/file_ops.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/bin/pg_rewind/file_ops.c b/src/bin/pg_rewind/file_ops.c index e442f935555..f9e41b1fc40 100644 --- a/src/bin/pg_rewind/file_ops.c +++ b/src/bin/pg_rewind/file_ops.c @@ -21,7 +21,6 @@ #include "common/file_perm.h" #include "file_ops.h" #include "filemap.h" -#include "logging.h" #include "pg_rewind.h" /* |