Fixed bug in monitoring finished fsms.
Improved pooling code.
Merge branch 'test' into dev