Re: [Geotools-devel] geotools mongodb bugs in filtering

2022-07-08 Thread Marco Volpini
Dear Hans, all improvements and bug fixes are welcome on both GeoTools and GeoServer. You can either provide the bug fix/improvement by yourself by opening a pull request on the GeoServer or Geotools repo, either by having someone else doing it for you (see the commercial support page

Re: [Geotools-devel] geotools mongodb bugs in filtering

2022-07-08 Thread Hans Yperman
Hi Marco, Thanks for your quick reaction, In this mail I’ll concentrate on the Filtering issue, as it is the most blocking for us. The schemaless plugin is interesting and I’ll check it out. Fixing the filtering bug causes the dates to partially work. So I’ll see what happens after the core