diff options
| author | 2014-02-11 21:48:10 +0100 | |
|---|---|---|
| committer | 2014-02-11 21:48:10 +0100 | |
| commit | 0cabd1f50dd7d1cf0941a50139e6fbeed6825b4d (patch) | |
| tree | 404190eba703df08a741623db491ea0917488b6d /constants.php | |
| parent | d48f612c437009069593978fe43833fe2c7d74ea (diff) | |
Mutex par flux pour les actualisations
Contribue à https://github.com/marienfressinaud/FreshRSS/issues/351
Nouvelle constante TMP_PATH comme répertoire pour stocker des fichiers
temporaires (si possible en mémoire et non sur disque, tel tmpfs pour
/tmp sur certaines distributions Linux)
Requiert PHP 5.2.1+ (contre 5.2.0 auparavant) pour le
`sys_get_temp_dir()`
Diffstat (limited to 'constants.php')
| -rw-r--r-- | constants.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/constants.php b/constants.php index a7c96f47b..4818f1565 100644 --- a/constants.php +++ b/constants.php @@ -15,3 +15,5 @@ define('FRESHRSS_PATH', dirname(__FILE__)); define('LIB_PATH', FRESHRSS_PATH . '/lib'); define('APP_PATH', FRESHRSS_PATH . '/app'); + +define('TMP_PATH', sys_get_temp_dir()); |
