Skip hosts that aren't enabled.
[myplc.git] / bootstrap.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE configuration PUBLIC "-//PlanetLab Central//DTD PLC configuration//EN" "configuration.dtd">
3
4 <configuration>
5
6   <!-- This overlay configuration file changes the DB, web, API, and
7        boot server ports to (hopefully unused) ports so that the
8        system can be bootstrapped on a build machine that may itself
9        be running such servers. -->
10
11   <variables>
12     <category id="plc_db">
13       <variablelist>
14         <variable id="port" type="int">
15           <value>15432</value>
16         </variable>
17       </variablelist>
18     </category>
19
20     <category id="plc_api">
21       <variablelist>
22         <variable id="port" type="int">
23           <value>10080</value>
24         </variable>
25       </variablelist>
26     </category>
27
28     <category id="plc_www">
29       <variablelist>
30         <variable id="port" type="int">
31           <value>10080</value>
32         </variable>
33
34         <variable id="ssl_port" type="int">
35           <value>10443</value>
36         </variable>
37       </variablelist>
38     </category>
39
40     <category id="plc_boot">
41       <variablelist>
42         <variable id="port" type="int">
43           <value>10080</value>
44         </variable>
45
46         <variable id="ssl_port" type="int">
47           <value>10443</value>
48         </variable>
49       </variablelist>
50     </category>
51   </variables>
52
53 </configuration>