diff options
| author | Peter Eisentraut | 2019-04-07 09:30:14 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2019-04-07 10:35:29 +0000 |
| commit | 03f9e5cba0ee1633af4abe734504df50af46fbd8 (patch) | |
| tree | a58530a21f478fc54658768e680de91e9c20ebee /src/backend/optimizer | |
| parent | 106f2eb664bbd38c83090becff9fcde1e9622c9c (diff) | |
Report progress of REINDEX operations
This uses the same infrastructure that the CREATE INDEX progress
reporting uses. Add a column to pg_stat_progress_create_index to
report the OID of the index being worked on. This was not necessary
for CREATE INDEX, but it's useful for REINDEX.
Also edit the phase descriptions a bit to be more consistent with the
source code comments.
Discussion: https://www.postgresql.org/message-id/ef6a6757-c36a-9e81-123f-13b19e36b7d7%402ndquadrant.com
Diffstat (limited to 'src/backend/optimizer')
0 files changed, 0 insertions, 0 deletions