4
4
Properties file reification
petals-penhors = PEtALS.SERVER {
archive = PEtALS.ARCHIVE(…);
home = PEtALS.HOME(…);
java = Hosts/penhors/software/java;
host = Hosts/penhors;
properties {
http-port = HTTP.PORT(7700);
jmx-user = JMX.USER('');
jmx-password = JMX.PASSWORD('');
jmx-port = JMX.PORT(8081);
joram-domain = JORAM.DOMAIN(JOnES);
joram-id = JORAM.ID(0);
joram-user = JORAM.USER(petals);
joram-domainport = JORAM.DOMAINPORT(7740);
joram-tcpport = JORAM.TCPPORT(7760);
joram-password = JORAM.PASSWORD(petals);
}
}