Merge pull request #6764 from annando/worker2
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Wed, 27 Feb 2019 10:06:38 +0000 (11:06 +0100)
committerGitHub <noreply@github.com>
Wed, 27 Feb 2019 10:06:38 +0000 (11:06 +0100)
Better worker lifetime check


Trivial merge