diff options
| author | 2013-11-08 17:39:48 +0100 | |
|---|---|---|
| committer | 2013-11-08 17:39:48 +0100 | |
| commit | 6e5298390686ce46b02808ad7481a11db4c86dd2 (patch) | |
| tree | 2fda25b0a730e430bc6a5ee12f53f72661701ecc /public/index.php | |
| parent | 17f0c56d6859b4ab122caa568a623f931d4d0b8a (diff) | |
Petits changements mineurs
Diffstat (limited to 'public/index.php')
| -rwxr-xr-x | public/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/index.php b/public/index.php index 10292d111..9eee5dc54 100755 --- a/public/index.php +++ b/public/index.php @@ -31,7 +31,7 @@ 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(LOG_PATH . '/application.log'), + @filemtime(LOG_PATH . '/application.log'), filemtime(PUBLIC_PATH . '/data/Configuration.array.php'), filemtime(APP_PATH . '/configuration/application.ini'), time() - 14400); |
