GWT plugin: how to change port number

Hello Roman,

Please file a Jira feature request.

How can I change shell port number to somethig else then 8888?

When run shell using command line I can specify -port 8889 parameter,
but could not find any setting in IDEA.

Thanks,
Roman

FYI - submitted tracker issue :

818 : GWT plugin: Cannot change shell port number to somethig else then 8888

Jira issue #
http://www.jetbrains.net/jira/browse/IDEA-8560


What is the tracker? Should I open issue only in JIRA?

Message was edited by:
Roman Dolgov

In current version of the GWT plugin, there is an option for 'Dev Mode parameters' in which you can specify a different port, for example '-port 8889'.