Re: Determine server version from psql script

From: "David G(dot) Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com>
To: Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com>
Cc: Igor Korot <ikorot01(at)gmail(dot)com>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Adrian Klaver <adrian(dot)klaver(at)aklaver(dot)com>, "pgsql-generallists(dot)postgresql(dot)org" <pgsql-general(at)lists(dot)postgresql(dot)org>
Subject: Re: Determine server version from psql script
Date: 2025-03-23 19:27:19
Message-ID: CAKFQuwZ1=Mi_w-Wt4AkOSO1M+CD-Tg-W7O+9rJb-Fp7Q884fHQ@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-general

On Sunday, March 23, 2025, Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> wrote:

> Hi
>
> ne 23. 3. 2025 v 19:31 odesílatel Igor Korot <ikorot01(at)gmail(dot)com> napsal:
>
>> Hi,
>>
>> [code]
>> SELECT current_setting('server_version_num')::int > 130000 as v13
>>
>

> SELECT current_setting('server_version_num')::int > =140000 as v14
>

IOW, you can’t use >130000 because that will match v13.1 which is 130001 in
integer format.

David J.

In response to

Responses

Browse pgsql-general by date

  From Date Subject
Next Message Igor Korot 2025-03-24 01:08:11 Re: Determine server version from psql script
Previous Message Pavel Stehule 2025-03-23 19:17:02 Re: Determine server version from psql script