Skip to content

Update pool options during its life time#10

Open
WyriHaximus wants to merge 17 commits intomasterfrom
feature-up-and-down-scaling-pool
Open

Update pool options during its life time#10
WyriHaximus wants to merge 17 commits intomasterfrom
feature-up-and-down-scaling-pool

Conversation

@WyriHaximus
Copy link
Copy Markdown
Owner

@WyriHaximus WyriHaximus commented Dec 13, 2016

A use case for this is scaling the amount of workers up and down when the load of the systems permit it.

  • Update pool interface
  • Update manager interface
  • Update fixed pool
  • Update flexible pool
  • Update fixed manager
  • Update flexible manager
  • Update documentation
  • Add example

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant