IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-13 00:21:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fixed a typo in previous commit

Browse Source
This commit is contained in:
Ashesh Vashi committed 2020-04-08 14:30:29 +05:30
1 parent d9f6baac72
commit aa7ced4ef1
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
web/pgadmin/tools/schema_diff/__init__.py
+1 -1
View File
@@ -568,7 +568,7 @@ def check_version_compatibility(sid, tid):
tar_manager = driver.connection_manager(tar_server.id)
target_conn = src_manager.connection()
if not (src_conn.connected() and target.connected()):
if not (src_conn.connected() and target_conn.connected()):
return False, gettext('Server(s) disconnected.')
if src_manager.server_type != tar_manager.server_type: