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.sha...@enterprisedb.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