From 497e309a1d6bbe57e039a680b83d8df86a0826f0 Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Mon, 1 Aug 2016 15:11:07 +0100
Subject: [PATCH] Add server properties for additional other infrastructure
 servers.

---
 build.xml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/build.xml b/build.xml
index 384368c2..c0aa87c7 100644
--- a/build.xml
+++ b/build.xml
@@ -123,6 +123,31 @@
     <property name="md.dist.host3.name" value="md3.infr.ukfederation.org.uk"/>
 
     <!--
+        Middlebox server properties.
+    -->
+    <property name="orchestrator.user" value="jenkins"/>
+    <property name="orchestrator.hostname" value="orchestrator.infr.ukfederation.org.uk"/>
+    <property name="orchestrator.path" value="${shared.ws.dir}/build"/>
+    <property name="orchestrator.url" value="${orchestrator.user}@${orchestrator.hostname}:${orchestrator.path}"/>
+    
+    <!--
+        Signing server properties.
+    -->
+    <property name="keymaster.user" value="jenkinsslave"/>
+    <property name="keymaster.hostname" value="keymaster.infr.ukfederation.org.uk"/>
+    <property name="keymaster.path" value="${shared.ws.dir}/build"/>
+    <property name="keymaster.url" value="${keymaster.user}@${keymaster.hostname}:${keymaster.path}"/>
+    
+    <!--
+        Web server properties.
+    -->
+    <property name="www.user" value="wwwscp"/>
+    <property name="www.hostname" value="web1.infr.ukfederation.org.uk"/>
+    <property name="www.path" value="/var/www/html/fed"/>
+    <property name="www.url" value="${www.user}@${www.hostname}:${www.path}"/>
+
+
+     <!--
         *******************************************************
         ***                                                 ***
         ***   F I L E   S Y S T E M   P R O P E R T I E S   ***