[PATCH] Cache's file.php
| From: | David Viner | Date: | Fri, 18 Oct 2002 16:43:48 +0000 |
| Subject: | [PATCH] Cache's file.php | ||
| Groups: | php.pear.dev | ||
| Request: | Send a blank email to pear-dev+get-10117@lists.php.net to get a copy of this message | ||
here's a short patch that allows users to turn on file locking when creating
a file based cache. This prevents users from having to hand edit the
file.php to turn on file locking.
dave
===== BEGIN PATCH
--- file.php 2002-10-18 09:35:36.000000000 -0700
+++ file.php 2002-10-18 09:38:22.000000000 -0700
@@ -88,7 +88,7 @@
*/
function Cache_Container_file($options = '') {
if (is_array($options))
- $this->setOptions($options, array_merge($this->allowed_options,
array('cache_dir', 'filename_prefix')));
+ $this->setOptions($options, array_merge($this->allowed_options,
array('cache_dir', 'filename_prefix','fileLocking')));
clearstatcache();
if ($this->cache_dir)
===== END PATCH