workerpool: Use worker name as thread name
authorMichael Hanselmann <hansmi@google.com>
Wed, 13 Jan 2010 10:38:03 +0000 (11:38 +0100)
committerMichael Hanselmann <hansmi@google.com>
Wed, 13 Jan 2010 13:03:03 +0000 (14:03 +0100)
commitd16e6fd90d233a4dd59c501c12c396ecfd7b306a
treeb17454557730c9bdaee398d2a6e7f88726186c3e
parent89e2b4d2d21856d206ea13f521af24727dd1b10a
workerpool: Use worker name as thread name

This way it shows up in debug logs.

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
lib/workerpool.py