Update Pooling.php

I also get a "Segmentation Fault" when running this code. Seems to be related to WebWork -> run() but don't have the solution myself.