| [news.eclipse.platform.ua] Re: Starting help system webapp |
Thank you for your reply.
Thank you for the setProperty tip though. It slipped my mind.
Regards, Bert Vingerhoets
Chris Goldthorpe wrote:
You could try something like this
System.setProperty("server_port", "8081");
PlatformUI.getWorkbench().getHelpSystem().resolve("", false);
to start the help system on port 8081
It seems that there should be a cleaner way of setting the port through API but right now there is no way to do it.