make server id configurable through maven

diging · Apr 21, 2017 · ce15c0b · ce15c0b
1 parent e96de76
commit ce15c0b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cepheus/pom.xml b/cepheus/pom.xml
@@ -19,6 +19,7 @@
 
         <tomcat.deploy.path></tomcat.deploy.path>
         <tomcat.app.name></tomcat.app.name>
+        <tomcat.server.id>CepheusProdTomcatServer</tomcat.server.id>
 
         <log.level>debug</log.level>
         <cepheus.giles.accessToken></cepheus.giles.accessToken>
@@ -320,7 +321,7 @@
                 <version>2.2</version>
                 <configuration>
                     <url>${tomcat.path}</url>
-                    <server>CepheusProdTomcatServer</server>
+                    <server>${tomcat.server.id}</server>
                     <path>/${tomcat.app}</path>
                 </configuration>
             </plugin>