Molto più semplicemente, dal Manager di Tomcat, nella sezione "WAR file to deploy" c'è la possibilità di specificare il file WAR da deployare.... il resto lo fa tutto lui.


Ciao.