app/django/db/backends/postgresql/version.py
changeset 323 ff1a9aa48cfd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/app/django/db/backends/postgresql/version.py	Tue Oct 14 16:00:59 2008 +0000
@@ -0,0 +1,18 @@
+"""
+Extracts the version of the PostgreSQL server.
+"""
+
+import re
+
+VERSION_RE = re.compile(r'PostgreSQL (\d+)\.(\d+)\.')
+
+def get_version(cursor):
+    """
+    Returns a tuple representing the major and minor version number of the
+    server. For example, (7, 4) or (8, 3).
+    """
+    cursor.execute("SELECT version()")
+    version = cursor.fetchone()[0]
+    major, minor = VERSION_RE.search(version).groups()
+    return int(major), int(minor)
+