Ok perfect this was my other contender as well ;)

Sent from my iPhone

> On 12 Jun 2014, at 18:27, Stephan Ewen <[email protected]> wrote:
> 
> Maybe " taskmanager.net.numInThreads" ?

Reply via email to