diff options
| author | 2014-02-11 21:48:10 +0100 | |
|---|---|---|
| committer | 2014-02-11 21:48:10 +0100 | |
| commit | 0cabd1f50dd7d1cf0941a50139e6fbeed6825b4d (patch) | |
| tree | 404190eba703df08a741623db491ea0917488b6d /app/Controllers/javascriptController.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 'app/Controllers/javascriptController.php')
0 files changed, 0 insertions, 0 deletions
