From 232379ae7251588d08c3094b8e8858d3bfc3dd82 Mon Sep 17 00:00:00 2001 From: Paolo Date: Wed, 8 Jan 2020 15:49:26 +0100 Subject: [PATCH 1/2] Added SESSION_TIMEOUT constant to TableWidgetLib --- application/libraries/TableWidgetLib.php | 1 + 1 file changed, 1 insertion(+) diff --git a/application/libraries/TableWidgetLib.php b/application/libraries/TableWidgetLib.php index 42f645954..139e5d6cb 100644 --- a/application/libraries/TableWidgetLib.php +++ b/application/libraries/TableWidgetLib.php @@ -19,6 +19,7 @@ class TableWidgetLib const SESSION_CHECKBOXES = 'checkboxes'; const SESSION_METADATA = 'datasetMetadata'; const SESSION_ROW_NUMBER = 'rowNumber'; + const SESSION_TIMEOUT = 'sessionTimeout'; // Session dataset elements const SESSION_DATASET = 'dataset'; From bf9cc35dd51a5b6f575e7d13aa7f0f7bd650defd Mon Sep 17 00:00:00 2001 From: Paolo Date: Wed, 8 Jan 2020 15:52:03 +0100 Subject: [PATCH 2/2] TableWidget fixed a typo --- application/widgets/TableWidget.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/application/widgets/TableWidget.php b/application/widgets/TableWidget.php index a536225f7..97bc29d5e 100644 --- a/application/widgets/TableWidget.php +++ b/application/widgets/TableWidget.php @@ -341,7 +341,7 @@ class TableWidget extends Widget // To be always stored in the session, otherwise is not possible to load data from Filters controller $this->tablewidgetlib->setSessionElement(TableWidgetLib::REQUIRED_PERMISSIONS, $this->_requiredPermissions); // Renew or set the session expiring time - $this->filterwidgetlib->setSessionElement(TableWidgetLib::SESSION_TIMEOUT, strtotime('+'.$this->_sessionTimeout.' minutes', time())); + $this->tablewidgetlib->setSessionElement(TableWidgetLib::SESSION_TIMEOUT, strtotime('+'.$this->_sessionTimeout.' minutes', time())); } /**