jqueue: Rename _queue_lock to _queue_filelock
authorGuido Trotter <ultrotter@google.com>
Fri, 4 Jun 2010 15:51:33 +0000 (16:51 +0100)
committerGuido Trotter <ultrotter@google.com>
Fri, 11 Jun 2010 14:06:07 +0000 (15:06 +0100)
commita71f9c7dfd21f0b57db4f33dc0ccc9fea4bcd046
tree6b2e71d0b36e76ec71715c88baa704eb55b63801
parent85a1c57db287432014d29caac0ea1b82c777a9ee
jqueue: Rename _queue_lock to _queue_filelock

The name clarifies the difference between this and the internal lock.
Also explain a bit better what it is.

Signed-off-by: Guido Trotter <ultrotter@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
lib/jqueue.py