Use a default Tomcat shutdown port different than 8005

Description

By doing this we should be minimizing the risk of conflict with an existing running Tomcat instance. Let's use 8205 as the default shutdown port.

Status

Assignee

Vincent Massol

Reporter

Vincent Massol

Fix versions

Affects versions

0.2

Priority

Minor
Configure