Report progress of REINDEX operations

Peter Eisentraut <peter@eisentraut.org>

Commit: 03f9e5cba0ee1633af4abe734504df50af46fbd8
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2019-04-07T10:35:29Z
Releases: 12.0
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

Files

Documentation touched

Discussion