Looks good to me. I have updated the PR already to match the API change
you made.
Kind Regards
Niels
On 07-01-16 03:46, Jody Garnett wrote:
This is a follow up to pull request #1361
<https://github.com/geoserver/geoserver/pull/1361> introducing some
new public API:
https://github.com/geoserver/geoserver/wiki/GSIP-136
Niels I have changed your proposed interface a bit, to use paths
rather than a resource when adding/removing listeners.
--
Jody Garnett
------------------------------------------------------------------------------
_______________________________________________
Geoserver-devel mailing list
Geoserver-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geoserver-devel
------------------------------------------------------------------------------
_______________________________________________
Geoserver-devel mailing list
Geoserver-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geoserver-devel
