Skip to content

Add support for hostname extension - #161

Open
ben-mejia wants to merge 1 commit into
zubkov-andrei:masterfrom
ben-mejia:feature/hostname
Open

Add support for hostname extension#161
ben-mejia wants to merge 1 commit into
zubkov-andrei:masterfrom
ben-mejia:feature/hostname

Conversation

@ben-mejia

Copy link
Copy Markdown

Collects the physical hostname, listen address, and port for each monitored server and displays them in the report header.

Hostname is read from the remote's 'hostname' extension (when present) via dblink; IP/port come from the remote session with a pg_settings fallback. The feature is invisible when the extension is absent.

Added tests under 'make installcheck USE_HOSTNAME=1'.

Collects the physical hostname, listen address, and port for each
monitored server and displays them in the report header.

Hostname is read from the remote's 'hostname' extension (when present)
via dblink; IP/port come from the remote session with a pg_settings
fallback. The feature is invisible when the extension is absent.

Added tests under 'make installcheck USE_HOSTNAME=1'.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant