This plugin is actually orphaned, Ryan, so that explains the fact nothing
really moves.

See https://wiki.jenkins-ci.org/display/JENKINS/Adopt+a+Plugin for more
information.

2016-09-15 12:48 GMT+02:00 Ryan Cocks <r...@ryancocks.net>:

> Folks,
>
> I have a use case where I have a pool of global ‘resources’ which cannot
> be used concurrently.
>
> The only implementation of allocating from pools in Jenkins I’ve seen so
> far is the Port Allocator plugin which can be used to hand out from a pool
> of integers.
>
> Originally this plugin was conceived to hand out ports on the local node.
> Developers have tried to extend the Port Allocator plugin with the concept
> of global pools. But these pull requests keep getting bounced, i.e. 7
> <https://github.com/jenkinsci/port-allocator-plugin/pull/7> and 5
> <https://github.com/jenkinsci/port-allocator-plugin/pull/5> which both
> implement this.
>
> Can we get clearance to have global pools in the Port Allocator plugin?
>
> If not: this use case is evidently coming up for a number of people given
> we already have two pull requests for it. So, what would be acceptable?
>
> Warm regards,
> Ryan
>
> --
> You received this message because you are subscribed to the Google Groups
> "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/jenkinsci-dev/67a555f4-88ac-42dc-81a1-62ea4453d6b6%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/jenkinsci-dev/67a555f4-88ac-42dc-81a1-62ea4453d6b6%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS5fhVh5aeAKJOQggw7Epih0NdzB%3Dqg67T8ZwyiSquL5NA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to