[FileBackend] Fixed writer-populater cache race condition.
authorAaron <aschulz@wikimedia.org>
Thu, 7 Jun 2012 19:50:43 +0000 (12:50 -0700)
committerAaron <aschulz@wikimedia.org>
Thu, 7 Jun 2012 19:56:11 +0000 (12:56 -0700)
commit2524f394e2715ab702e80752b7896b198d626512
tree7796253e481af32d33a359bd727ae7d2c431aaac
parent72cb8bd5f86dcda9f85a2e0582f2e065f9c0a817
[FileBackend] Fixed writer-populater cache race condition.

* Set the keys to PURGED on purge. We already only treat array values
  in cache is valid. This means that if a process reads the file, it
  caches in the meantime, and then the process tries to cache the file,
  the stale version will not be cached.

Change-Id: I7eb7b4529f8cea44b0d68c9149db4bcf100ac9d2
includes/filerepo/backend/FileBackendStore.php