dev 2020-01

src/App.php

@@ -37,6 +37,7 @@ class App
 			if (defined('SESSION_DURATION') && is_numeric(SESSION_DURATION)) {
 				ini_set('session.gc_maxlifetime', SESSION_DURATION);
 				session_set_cookie_params(SESSION_DURATION);
+				// Note: si cron est actif, il faut modifier la valeur de session.gc_maxlifetime dans /etc/php/7.3/apache2/php.ini (voir /etc/cron.d/php)
 			}
 
 			session_start();