From ae6677d142e15629c96cf0d15e50232a5afa354e Mon Sep 17 00:00:00 2001 From: faruq Date: Wed, 6 Apr 2022 07:59:30 +0100 Subject: [PATCH] Updated UserDoc.md to include information about increasing the session duration --- doc/UserDoc.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/UserDoc.md b/doc/UserDoc.md index 4ab07c1..aa08e0e 100644 --- a/doc/UserDoc.md +++ b/doc/UserDoc.md @@ -17,5 +17,7 @@ After that, issue the following commands in the mysql prompt. The first one uses a database called lrr in MySQL. The second one deletes a record from `users_table` where the student number is 201131129138. +By default, the session duration in PHP is set to 1,440 seconds (24 minutes). However, this is not convenient in most software systems. Therefore, we may need to increase the duration to allow users to have more session time. To increase the session duration, we need to edit the variable *session.gc_maxlifetime* in **php.ini**. We can increase its default value to whatever we want (e.g., 7200). +On Apache, the file is located at */etc/php/7.2/apache2/php.ini*. On XAMPP, the file is located at */xampp/php/php.ini*. -*Last modified on 1 June 2020 by Hui* +*Last modified on 6 April 2022 by Umar*