From 04912899e792094ed00766b99b6c604cadf9edf7 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 2 Sep 2006 13:12:50 +0000
Subject: Add new variable "server_version_num", which is almost the same as
 "server_version" but uses the handy PG_VERSION_NUM which allows apps to do
 things like if ($version >= 80200) without having to parse apart the value of
 server_version themselves.

Greg Sabino Mullane greg@turnstep.com
---
 doc/src/sgml/config.sgml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'doc/src')

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index db78a51e6b0..4db9831a687 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.78 2006/08/29 11:37:47 petere Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.79 2006/09/02 13:12:50 momjian Exp $ -->
 
 <chapter Id="runtime-config">
   <title>Server Configuration</title>
@@ -4226,6 +4226,19 @@ dynamic_library_path = 'C:\tools\postgresql;H:\my_project\lib;$libdir'
       </listitem>
      </varlistentry>
 
+     <varlistentry id="guc-server-version-num" xreflabel="server_version_num">
+      <term><varname>server_version_num</varname> (<type>integer</type>)</term>
+      <indexterm>
+       <primary><varname>server_version_num</> configuration parameter</primary>
+      </indexterm>
+      <listitem>
+       <para>
+        Reports the version number of the server as an integer. It is determined 
+        by the value of <literal>PG_VERSION_NUM</> when building the server.
+       </para>
+      </listitem>
+     </varlistentry>
+
     </variablelist>
    </sect1>
 
-- 
cgit v1.2.3