fixed bug in thread Pool
release 3.1.3: fixed bug in thread Pool