IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed an issue while checking the major version of servers in schema diff.

Browse Source
This commit is contained in:
Huang Jun 2021-01-18 14:40:07 +05:30 committed by Akshay Joshi
parent d4a3e4d92c
commit a60cfd3cc3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/pgadmin/tools/schema_diff/__init__.py
View File

@ -720,8 +720,8 @@ def check_version_compatibility(sid, tid):
'Advanced Server.')
def get_round_val(x):
if x < 10000:
return x if x % 100 == 0 else x + 100 - x % 100
if x < 100000:
return x + 100 - x % 100
else:
return x + 10000 - x % 10000