From d9d820ac3cb8ceb219235be0a8eb1be18d4d9e69 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=93scar=20Gonz=C3=A1lez=20Fern=C3=A1ndez?=
 <ogonzalez@igalia.com>
Date: Fri, 10 Jul 2009 10:13:59 +0200
Subject: [PATCH] Added stop properties for jetty so jetty:stop can be used.

---
 pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 79807b4b4..c76855791 100644
--- a/pom.xml
+++ b/pom.xml
@@ -434,7 +434,8 @@
                 <configuration>
                     <jettyEnvXml>target/jetty/jetty-env.xml</jettyEnvXml>
                     <reload>manual</reload>
-
+                    <stopPort>9966</stopPort>
+                    <stopKey>stop</stopKey>
                     <!-- Log to the console. -->
                     <requestLog implementation="org.mortbay.jetty.NCSARequestLog">
                         <!--