On 09/09/2026 10:04, cca5507 wrote:
> I think we just need to avoid doing something like this: different libraries
> with the same name.
As a general rule I totally agree with you. I just wonder if it should
be possible in the first place. My point is that we could be trading
server guarantee for admin discipline.
> The behavior of "local_preload_libraries" also like this. So I think it's
> ok if we document the auto expand of "$libdir/plugins/" clearly.
Fair enough.
Thanks!
Best, Jim