#!/bin/bash

set -e

service tomcat7 stop