From faa7b7314e416494883701a9c77888ea2f7061a9 Mon Sep 17 00:00:00 2001 From: faruq Date: Wed, 20 Apr 2022 16:31:14 +0800 Subject: [PATCH] Updated UserDoc.md to add a section for increasing session duration --- doc/UserDoc.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/doc/UserDoc.md b/doc/UserDoc.md index aa08e0e..8a78d83 100644 --- a/doc/UserDoc.md +++ b/doc/UserDoc.md @@ -17,7 +17,10 @@ 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*. +Increasing session duration +------------------- -*Last modified on 6 April 2022 by Umar* +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 Ubuntu, 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 20 April 2022 by Umar*