Re: [Geoserver-devel] is CatalogListener.reloaded() dead code?

Hi Gabriel, I don't remember why it was un-deprecated, I guess the activity was related to removing all deprecated API and its usage points, and this one seemed to be used. The was an unfortunate trend back then to deprecate carelessly APIs here and there, without checking usage points and checking

Re: [Geoserver-devel] GeoServer 2.25.1 release train

I would like to do the release today, there was some build instability last week (thanks for fixing Andrea and Peter). I have one PR to check (hopefully it has been reviewed) before release. -- Jody Garnett On Wed, May 15, 2024 at 9:57 AM Jody Garnett wrote: > Checking in ahead of release, >

Re: [Geoserver-devel] is CatalogListener.reloaded() dead code?

Well, it looks like it was un-deprecated in 2019 but still nobody calls it. For me it's ok if we have a single extension to listen to