source ../config.hosts
server=$M_HOST_PROD

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