The worker_pool application

Generated by EDoc, Sep 2 2016, 10:12:59.