pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Correct version comparison, per Khushboo.

pull/14/head
Dave Page 2018-06-25 16:41:34 +01:00
parent cf29e8df90
commit 5bdd80e3da
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/tools/debugger/__init__.py
View File

@ -673,7 +673,7 @@ def initialize_target(debug_type, sid, did, scid, func_id, tri_id=None):
# Check debugger extension version for EPAS 11 and above.
# If it is 1.0 then return error to upgrade the extension.
if manager.server_type == 'ppas' and manager.sversion >= 11000:
if manager.server_type == 'ppas' and manager.sversion >= 110000:
status, ext_version = conn.execute_scalar(
"SELECT installed_version FROM pg_catalog.pg_available_extensions "
"WHERE name = 'pldbgapi'"