Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: 1647fc54e19565f484fdc5ad4b5d109ccd3588b8
https://github.com/pgadmin-org/pgadmin4/commit/1647fc54e19565f484fdc5ad4b5d109ccd3588b8
Author: Pravesh Sharma <pravesh(dot)sharma(at)enterprisedb(dot)com>
Date: 2022-10-21 (Fri, 21 Oct 2022)
Changed paths:
M web/pgadmin/tools/schema_diff/__init__.py
M web/pgadmin/tools/schema_diff/model.py
M web/pgadmin/tools/schema_diff/static/js/components/SchemaDiffCompare.jsx
M web/pgadmin/tools/schema_diff/tests/test_schema_diff_comp.py
Log Message:
-----------
Use SocketIO instead of REST for schema diff compare. #4841