pgadmin4/web/pgadmin/tools
Aditya Toshniwal 920934759f Handle a potential error case in the connection status monitoring.
When you disconnect the server with an open sqleditor tab, exception
 occurs at the back end. Also, after connecting server, the sqleditor
 is not able to connect back because of the exception.
2018-06-05 11:57:56 +01:00
..
backup Ensure backup/restore/maintenance work via SSH tunnels. Fixes #3355 2018-05-30 21:25:42 -04:00
datagrid Update jQuery to 3.3.1. Fixes #3271 2018-05-25 16:26:37 +01:00
debugger Update jQuery to 3.3.1. Fixes #3271 2018-05-25 16:26:37 +01:00
grant_wizard Update jQuery to 3.3.1. Fixes #3271 2018-05-25 16:26:37 +01:00
import_export Update jQuery to 3.3.1. Fixes #3271 2018-05-25 16:26:37 +01:00
maintenance Ensure backup/restore/maintenance work via SSH tunnels. Fixes #3355 2018-05-30 21:25:42 -04:00
restore Ensure backup/restore/maintenance work via SSH tunnels. Fixes #3355 2018-05-30 21:25:42 -04:00
sqleditor Handle a potential error case in the connection status monitoring. 2018-06-05 11:57:56 +01:00
templates/js Return the translations, and not empty array from the 2017-10-24 18:50:26 +05:30
user_management Update jQuery to 3.3.1. Fixes #3271 2018-05-25 16:26:37 +01:00
__init__.py Update Python and JS modules. Fixes #3154 2018-04-04 10:47:01 +01:00