maria-developers team mailing list archive

[Sergey Vojtovich <svoj@xxxxxxxxxxx>]

Hi Sergei,

IIRC during early days of plugins framework there was a strict convention when
plugin deinit() function must be called. Specifically only after successful
call to init() function.

I'm now fixing a bug in related code (5.5) and noticed that:
- deinit() may (or may not) be called without prior call to init()
- deinit() may (or may not) be called with prior failed call to init()

Do you think the above is correct?

Thanks,
Sergey