equal
deleted
inserted
replaced
59 For example, if the Diamonds server IP address changed to ``new.diamonds.server:newport`` then you would put the following lines in your ``<team>.ant.xml``:: |
59 For example, if the Diamonds server IP address changed to ``new.diamonds.server:newport`` then you would put the following lines in your ``<team>.ant.xml``:: |
60 |
60 |
61 <property name="diamonds.host" value="new.diamonds.server"/>* |
61 <property name="diamonds.host" value="new.diamonds.server"/>* |
62 <property name="diamonds.port" value="newport"/>* |
62 <property name="diamonds.port" value="newport"/>* |
63 |
63 |
64 * If you define the property :hlm-p:`skip.diamonds` to ``true`` Diamonds is disabled. |
64 * If you define the property :hlm-p:`diamonds.enabled` to ``false`` Diamonds is disabled. |
65 |
65 |
66 |
66 |
67 .. index:: |
67 .. index:: |
68 single: Diamonds server configuration |
68 single: Diamonds server configuration |
69 |
69 |