Update pool options during its life time#10

Open

WyriHaximus wants to merge 17 commits intomasterfrom

feature-up-and-down-scaling-pool

Commits on Dec 5, 2016

Allow updating of options while the pool is running
WyriHaximus
committed

Commits on Dec 6, 2016

Commits on Dec 15, 2016

New info options
WyriHaximus
committed

Commits on Dec 16, 2016

Worker has a new terminating state
WyriHaximus
committed

Commits on Dec 27, 2016

Reworked pool stats and how terminating works
WyriHaximus
committed

Commits on Jan 3, 2017

Commits on Jan 10, 2017

Commits on Jan 12, 2017

Commits on Jan 13, 2017

Commits on Apr 25, 2017