eclipse-jetty-plugin
eclipse-jetty-plugin copied to clipboard
Let people change the port via integer instead of clicker.
in the jetty port configuration in the jetty configuration... lose the ticker. just use a text box integer.