[LockManager] Added timeout to the lock() function.
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 13 Mar 2013 08:07:41 +0000 (01:07 -0700)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Apr 2013 22:28:15 +0000 (22:28 +0000)
commit0193a82d56f818b7f3c8ad588378e4034df22e00
tree7bf45e65751e92cee51d91ba16f39d6d09d2f9db
parentb12532b6d755e2b733e72807641e4ca72529170b
[LockManager] Added timeout to the lock() function.

Change-Id: I32f97b813fc6036b2774d67c14c574420e7a1437
includes/filebackend/lockmanager/LockManager.php