geoserver/geoserver — pull request #836 by n-lagomarsini (2014-11-28 19:09:30+00:00)
Title: Various fixes for GeoServer GUI + JDBCConfig

This pull request contains various fixes for the GeoServer performances using JDBCConfig plugin.