Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: ca01116700a8e8609d5aafc2610cd19672fcfbaa
https://github.com/pgadmin-org/pgadmin4/commit/ca01116700a8e8609d5aafc2610cd19672fcfbaa
Author: Akshay Joshi <akshay.jo...@enterprisedb.com>
Date: 2023-06-23 (Fri, 23 Jun 2023)
Changed paths:
M web/pgadmin/browser/server_groups/servers/__init__.py
M web/pgadmin/browser/server_groups/servers/static/js/server.ui.js
Log Message:
-----------
Typecast some parameters before sending to GUI in server module.
