[Geoserver-devel] Integrate JSON-FeatureCount into stable version

Hi GeoServer-developers,

i have developed a small extension, which outputs the feature count in a wfs-getFeature-request.

Andrea Aime has already merged it with the main GeoServer-code.

Could anyone of you please integrate this feature into the stable version of GeoServer?

This is the original mail from the mailing list: http://osgeo-org.1560.x6.nabble.com/JSON-output-total-number-of-features-for-paging-td5035093.html

Jira-ticket: http://jira.codehaus.org/browse/GEOS-6088

GIT-pull request: https://github.com/geoserver/geoserver/pull/267

Thanks in advance!

Best regards
Paul