GeoServer 2.13.0 is running on our server and I want to add some CORS headers to it.
Which version of Jetty does it use so that I can install the correct jetty-serverlet JAR?
Found: http://osgeo-org.1560.x6.nabble.com/Jetty-Version-td5367079.html Version: 9.2.13.v20150730
Note: This Jetty version is the same as Geoserver 2.10, and can be downloaded from original source or the answered Geoserver Jetty question here: Enabling CORS in GeoServer (jetty)?