diff options
Diffstat (limited to 'php.ini-production')
| -rw-r--r-- | php.ini-production | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php.ini-production b/php.ini-production index 3459193941..5a68647eca 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1451,8 +1451,8 @@ session.gc_maxlifetime = 1440 ; (see session.save_path above), then garbage collection does *not* ; happen automatically. You will need to do your own garbage ; collection through a shell script, cron entry, or some other method. -; For example, the following script would is the equivalent of -; setting session.gc_maxlifetime to 1440 (1440 seconds = 24 minutes): +; For example, the following script is the equivalent of setting +; session.gc_maxlifetime to 1440 (1440 seconds = 24 minutes): ; find /path/to/sessions -cmin +24 -type f | xargs rm ; Check HTTP Referer to invalidate externally stored URLs containing ids. |