#3877 If a plugin is unloaded, it is impossible to remove it

normal bug
closed-fixed
9
2014-07-31
2014-07-28
No

When a plugin is removed, the plugin manager generates it's cache but do not close the zip file, so the jar is locked and the plugin will not be removable (at least on Windows)

Related

Bugs: #3878

Discussion

    • status: open --> closed-fixed
     
  • Fixed in [r23626]

     

    Related

    Commit: [r23626]


    Last edit: Björn Kautler 2014-08-13