[josm-dev] restart JOSM

[Andre Hinrichs]

Am Donnerstag, den 10.12.2009, 15:56 +0100 schrieb Dirk Stöcker:
> On Thu, 10 Dec 2009, Dieter Muecke wrote:
> 
> > Instead of restarting JOSM by hand after plugin update the code snippet 
> > below does it programmatically. It works on Mac OSX but before I submit 
> > a patch I would like know how do the same on Windows and Linux.
> 
> Why do you want restarting JOSM after plugin update?
> 
> The plugin update on startup is done before loading the plugins, so 
> already the new plugins are loaded.

Well, that's true for updating plugins but not for activating or
deactivating plugins. Don't know if the patch can handle it but it would
be a rather good thing if I would not be forced to restart JOSM after
changing the plugin settings.

Andre