diff -r 6641e941ef1e -r ff1a9aa48cfd app/django/db/backends/postgresql/version.py --- /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) +