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 web, API, and boot
   7        server ports to (hopefully unused) ports so that the system can
   8        be bootstrapped on a build machine that may itself be running a
   9        web server. -->
  10
  11   <variables>
  12     <category id="plc_api">
  13       <variablelist>
  14         <variable id="port" type="int">
  15           <value>10080</value>
  16         </variable>
  17       </variablelist>
  18     </category>
  19
  20     <category id="plc_www">
  21       <variablelist>
  22         <variable id="port" type="int">
  23           <value>10080</value>
  24         </variable>
  25
  26         <variable id="ssl_port" type="int">
  27           <value>10443</value>
  28         </variable>
  29       </variablelist>
  30     </category>
  31
  32     <category id="plc_boot">
  33       <variablelist>
  34         <variable id="port" type="int">
  35           <value>10080</value>
  36         </variable>
  37
  38         <variable id="ssl_port" type="int">
  39           <value>10443</value>
  40         </variable>
  41       </variablelist>
  42     </category>
  43   </variables>
  44
  45 </configuration>