DIRACGrid/DIRAC — pull request #723 by KrzysztofCiba (2012-05-02 09:28:22+00:00)
Title: ProcessPool: killing stuck workers after timeout

Finally solved stuck workers: if ProcessTask.process() is stuck with some locked Lock, it will be killed after timeout seconds.