mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-10 23:45:58 -06:00
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. |
||
---|---|---|
.. | ||
activity.js | ||
browser.js | ||
collection.js | ||
datamodel.js | ||
error.js | ||
frame.js | ||
keyboard.js | ||
layout.js | ||
menu.js | ||
node.js | ||
node.ui.js | ||
panel.js | ||
preferences.js | ||
toolbar.js | ||
wizard.js |