Текущее имя сервера PostgreSQL

Question

Мне нужно получить имя сервера, которое указано в pgAdmin НЕ имя хоста или IP-адрес, но реальное имя сервера, которое отображается в pgAdmin, хост может содержать несколько серверов, поэтому я не хочу inet_server_addr()Мне нужно написать что-то, может быть, по plpythonu, как:

CREATE OR REPLACE FUNCTION Current_Server()
  RETURNS varchar
AS $$
    try:
        return environ.get('SERVERNAME');
    except:
        return 'dummy localhost';
$$ LANGUAGE plpythonu;

или любой код на PLPGSQL или любом другом языке будет просто в порядке. на pgAdmin вы можете получить имя сервера, щелкнув правой кнопкой мыши на сервере, а затем в свойствах:

так как и откуда pgAdmin получает это имя?

также будет хорошо иметь весь список серверов.