0007-Track-statistics-for-streaming-spilling-20190114.patch.gz
application/gzip
Filename: 0007-Track-statistics-for-streaming-spilling-20190114.patch.gz
Type: application/gzip
Part: 6
Patch
Same data as JSON:
GET /api/v1/attachments/:id/patch
the parsed metadata as JSON — format, series position, per-file stats; never the diff bytes.
API reference →
Format: format-patch
Series: patch 0007
Subject: Track statistics for streaming/spilling
| File | + | − |
|---|---|---|
| doc/src/sgml/monitoring.sgml | 47 | 0 |
| src/backend/catalog/system_views.sql | 7 | 1 |
| src/backend/replication/logical/reorderbuffer.c | 21 | 0 |
| src/backend/replication/walsender.c | 60 | 3 |
| src/include/catalog/pg_proc.dat | 3 | 3 |
| src/include/replication/reorderbuffer.h | 16 | 0 |
| src/include/replication/walsender_private.h | 10 | 0 |
| src/test/regress/expected/rules.out | 8 | 2 |
Binary attachment — download to view.