mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e7fa03 | patch | commitdiff
Maxim Thomas
06.52.2023 ea2cd6448b3838254ada8804b5a8d8f87bcef226
refs
author Maxim Thomas <maxim.thomas@gmail.com>
Wednesday, September 6, 2023 09:52 +0200
committer GitHub <noreply@github.com>
Wednesday, September 6, 2023 09:52 +0200
commitea2cd6448b3838254ada8804b5a8d8f87bcef226
tree 5919ced3cb1c53b517dd280297249939fe793ba0 tree | zip | gz
parent e7fa03e56cd8bcb3e623ed52d8df78a5e78d2418 view | diff 
convert JMX metrics to appropriate type #293 (#300)

1 files modified
83 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/server/config/JMXMBean.java 83 ●●●●● diff | view | raw | blame | history