From 37dda037add969f678454d8cfb1ad4e139b1eb2b Mon Sep 17 00:00:00 2001
From: slavisah <shrkac@gmail.com>
Date: Wed, 11 Feb 2015 06:58:20 +0100
Subject: [PATCH] server port customization option

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

diff --git a/pom.xml b/pom.xml
index 1468345..c21c831 100644
--- a/pom.xml
+++ b/pom.xml
@@ -34,6 +34,12 @@
           <webApp>
             <contextPath>/plantuml</contextPath>
           </webApp>
+          <systemProperties>
+            <systemProperty>
+              <name>jetty.port</name>
+              <value>${jetty.port}</value>
+            </systemProperty>
+          </systemProperties>
         </configuration>
       </plugin>
       <plugin>
@@ -142,6 +148,7 @@
   <properties>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <jetty.version>8.0.4.v20111024</jetty.version>
+    <jetty.port>8880</jetty.port>
     <maven.build.timestamp.format>yyyyMMdd-HHmm
     </maven.build.timestamp.format>
     <timestamp>${maven.build.timestamp}</timestamp>