Date de modification de application.ini

Prise en compte de configuration/application.ini pour la date de
dernière modification

1 files changed, 3 insertions, 2 deletions

diff --git a/public/index.php b/public/index.php
index 5f753d1a6..10292d111 100755
--- a/public/index.php
+++ b/public/index.php
@@ -31,9 +31,10 @@ if (file_exists (PUBLIC_PATH . '/install.php')) {
 	session_cache_limiter('');
 	require (LIB_PATH . '/http-conditional.php');
 	$dateLastModification = max(filemtime(PUBLIC_PATH . '/data/touch.txt'),
-		filemtime(PUBLIC_PATH . '/data/Configuration.array.php'),
 		filemtime(LOG_PATH . '/application.log'),
-		time() - 3600);
+		filemtime(PUBLIC_PATH . '/data/Configuration.array.php'),
+		filemtime(APP_PATH . '/configuration/application.ini'),
+		time() - 14400);
 	if (httpConditional($dateLastModification, 0, 0, false, false, true)) {
 		exit();	//No need to send anything
 	}