mirror of
https://github.com/corda/corda.git
synced 2024-12-24 07:06:44 +00:00
ed0cf91946
* Jolokia agents are loaded dynamically if configured * Renamed exportJmxTo (never used) to jmxMonitoringHttpPort and take it from config * Updated documentation and tests |
||
---|---|---|
.. | ||
runConfigurations | ||
scopes | ||
codeStyleSettings.xml | ||
compiler.xml |