pgadmin4/web/pgadmin/tools
Aditya Toshniwal 8c3bba65e5 Logout the pgAdmin session when no user activity of mouse move, click or keypress. Fixes #5000.
Introduced two config params:
1. USER_INACTIVITY_TIMEOUT - Interval in seconds for the timeout. Default is 0-Zero which means disabled.
2. OVERRIDE_USER_INACTIVITY_TIMEOUT - If set to true, tools like query tool or debugger will override USER_INACTIVITY_TIMEOUT
   and will not allow the application to timeout if a query is running for a long time.
2020-01-15 18:07:46 +05:30
..
backup Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
datagrid Added Schema Diff tool to compare two schemas and generate the difference script. 2020-01-10 15:42:09 +05:30
debugger Logout the pgAdmin session when no user activity of mouse move, click or keypress. Fixes #5000. 2020-01-15 18:07:46 +05:30
grant_wizard Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
import_export Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
maintenance Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
restore Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
schema_diff Schema Diff Improvements: 2020-01-13 18:19:07 +05:30
sqleditor Logout the pgAdmin session when no user activity of mouse move, click or keypress. Fixes #5000. 2020-01-15 18:07:46 +05:30
templates Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
user_management Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00
__init__.py Update copyright notices for 2020. 2020-01-02 14:43:50 +00:00