app/django/db/backends/postgresql/version.py
author Sverre Rabbelier <srabbelier@gmail.com>
Sat, 14 Feb 2009 14:10:56 +0000
changeset 1309 ba51a0cd311d
parent 323 ff1a9aa48cfd
permissions -rw-r--r--
Fix a bug if you have no roles at all This could not happen currently, but might happen later on if a group is defined that does not have an 'anybody' membership. 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)