Penrose 0.9.9 System Properties

If you need to set some system properties, you can add it in PENROSE_SERVER_HOME/conf/server.xml:

<server>

  <system-property>
    <property-name>...</property-name>
    <property-value>...</property-value>
  </system-property>

</server>

The Penrose Project