From c2c70d7a8604ac7d83ad2ab254f7909ca4103c91 Mon Sep 17 00:00:00 2001
From: Robert von Burg <eitch@eitchnet.ch>
Date: Wed, 25 Dec 2013 15:18:15 +0100
Subject: [PATCH] [New] added plugin management for tomcat7-maven-plugin

---
 pom.xml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/pom.xml b/pom.xml
index 56cac2bdd..fa8e43377 100644
--- a/pom.xml
+++ b/pom.xml
@@ -275,6 +275,17 @@
 						<warName>${warFinalName}</warName>
 					</configuration>
 				</plugin>
+				<plugin>
+					<!-- Publish to Tomcat7: mvn tomcat7:redeploy -->
+					<groupId>org.apache.tomcat.maven</groupId>
+					<artifactId>tomcat7-maven-plugin</artifactId>
+					<version>2.2</version>
+					<configuration>
+						<url>${tomcat7Url}</url>
+						<server>${tomcat7ServerId}</server>
+						<path>/${warFinalName}</path>
+					</configuration>
+				</plugin>
 
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>