Fix for issue #963; implements a -port auto command-line option to setting the the embedded Tomcat server to run on an open port.  JUnitShell always runs on port auto.

Patch by: tobyr, scottb
Review by: bruce, scottb


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@966 8db76d5a-ed1c-0410-87a9-c151d255dfc7
3 files changed