server="red"

echo restarting...
ssh tomcat@$server "cd deploy && ./restart"