puppetlabs/puppet-server — pull request #322 by fpringvaldsen (2014-12-12 21:32:47+00:00)
Title: (SERVER-151) Add jruby-pool endpoint

This PR adds a jruby-pool endpoint to the Admin HTTP API. Making a DELETE request against this endpoint allows the user to flush the JRuby Pool.

This should be merged before https://github.com/puppetlabs/puppet-server/pull/320.