workerpool: Don't mask variable in AddManyTasks
authorMichael Hanselmann <hansmi@google.com>
Fri, 2 Nov 2012 17:07:28 +0000 (18:07 +0100)
committerMichael Hanselmann <hansmi@google.com>
Tue, 6 Nov 2012 13:56:16 +0000 (14:56 +0100)
commitf94779f58026ef8b3bc7accd89366f58a4d16f42
treeb8066fb4275fde6bf54ab12c75c49dcf77652221
parentc69c45a715b8426f8e6dd813af781393951c727e
workerpool: Don't mask variable in AddManyTasks

The name “priority” is already used.

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>
lib/workerpool.py