Текущее имя сервера 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 получает это имя?

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