Github user thiagoh commented on the pull request:
https://github.com/apache/tomcat/pull/6#issuecomment-42244563
@kkolinko I think that this duplicated documentation would be nice to have
inside the `server.xml` just as other documentation for other ports like
```
GitHub user thiagoh opened a pull request:
https://github.com/apache/tomcat/pull/6
Document the use of "shutdown" and "port" attribute of
There is no documentation (inside the server.xml file) for the `"port"` or
`"shutdown"` attribute of a
