GWT plugin: how to change port number

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

2 comments
Comment actions Permalink

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



0
Comment actions Permalink

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

0

Please sign in to leave a comment.