On 09/03/2018 03:42 PM, Alvaro Herrera wrote:
On 2018-Sep-03, Andreas Joseph Krogh wrote:
select setting as server_version from pg_settings where name =
'server_version';
┌──────────────────────────────────┐
│ server_version │
├──────────────────────────────────┤
│ 10.5 (Ubuntu 10.5-1.pgdg18.04+1) │
└──────────────────────────────────┘
Ugh. (So this is coming from "configure --with-extra-version" stuff)
I guess you could just split it out at the first whitespace ...
Does that also diddle the value of "server_version_num"?
