app/django/db/backends/postgresql/version.py
author Sverre Rabbelier <srabbelier@gmail.com>
Fri, 23 Jan 2009 15:31:13 +0000
changeset 922 ca683f467bea
parent 323 ff1a9aa48cfd
permissions -rw-r--r--
Generate the 'edit settings' link dynamically We used to point to '/site/edit', which is rather lame for a generic presence template (especially since site has it's own template). Patch by: Sverre Rabbelier

"""
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)