[PATCH] Bugfix for plugin activation
I updated a plugin recently and I had issues when it was activated. I'm not sure if this is because of java 1.6 but File.delete() returns false if the file does not exist. But this is the case if the plugin is installed at a different place before the update. I.e. Gentoo installs all plugins to /usr/lib/josm/plugins/ and loads them from there. But updating the plugins will put them to %HOME%/.josm/plugins. And calling delete on the %HOME%/.josm/plugins file will not work. The attached patch works around that. It also verifies that the user is allowed to activate the plugins (has write-capability).
Change History
(4)
Component: |
Core → unspecified
|
Priority: |
major → trivial
|
Summary: |
Bugfix for plugin activation → [PATCH] Bugfix for plugin activation
|
Resolution: |
→ fixed
|
Status: |
new → closed
|
actually this seems to be a workaround for broken installations