Hello folks,
In regards to deploy a new war file you just need to upload it under you public_html directoy and then restart the tomcat on the server. And war file will be deployed on its own.
Note: With our shared hosting platform you cannot restart tomcat from your end.