We ended up changing the port number. But do we have to change it anywhere else, for shutdown to work properly?
-- JHHL --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org For additional commands, e-mail: users-h...@tomcat.apache.org
