diff options
| author | Christopher Guiney <chris@guiney.net> | 2012-06-30 05:34:28 +0200 |
|---|---|---|
| committer | Christopher Guiney <chris@guiney.net> | 2012-06-30 05:34:28 +0200 |
| commit | 7a14286feddcb14d3b49d2d7c83b776285946fb4 (patch) | |
| tree | 649ad1f10e399f6dd561bd5fae6d1f377cfe531f /user_guide_src/source/conf.py | |
| parent | 68b9b822b674e9f98025165a9391110a33f1b094 (diff) | |
Respect php.ini's values for calculating the probability of a session gc
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions