Torben,
one tiny buglet is that the Jenkins geoserver-release job still prints
an ares URL for the location of the release artifacts at the end of its
log. For example:
https://build.geoserver.org/view/geoserver/job/geoserver-release/194/consoleText
"build complete, artifacts available at
http://ares.boundlessgeo.com/geoserver/release/2.11.4";
DIST_HOST=ares.boundlessgeo.com is set in build/properties, and I
considered changing it, but this is also used for things like an ssh
private key filename. As you were the last person seen fixing the build
infrastructure (according to git), I was wondering if you had an opinion
on whether it is safe to change this? Perhaps we could try just before
the next GeoServer release, and see if it still works.
Kind regards,
Ben.
On 19/12/17 09:46, Ben Caradoc-Davies wrote:
https://build.geoserver.org/geoserver/release/2.11.4/
There is no Windows EXE.
--
Ben Caradoc-Davies <[email protected]>
Director
Transient Software Limited <https://transient.nz/>
New Zealand
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Geoserver-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/geoserver-devel
