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 <[email protected]>: > 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 [email protected]. > 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 [email protected]. 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.
