WIP - Unload plugin and free library before upgrading#534

Draft

alexbruy wants to merge 4 commits intomasterfrom

unload-geodiff-and-plugin

Commits on Oct 17, 2023

unload plugin and free library before upgrading
alexbruy
committed

Commits on Oct 18, 2023

patch another method
alexbruy
committed

Commits on Oct 19, 2023

try to delete file first, if failed try to unload library
alexbruy
committed
Revert "try to delete file first, if failed try to unload library"
alexbruy
committed