mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 685d41 | patch | commitdiff
jvergara
11.55.2009 f370207cb8fe0ad9c458be62acfe9d3e4fb10d21
refs
author jvergara <jvergara@localhost>
Friday, December 11, 2009 17:55 +0100
committer jvergara <jvergara@localhost>
Friday, December 11, 2009 17:55 +0100
commitf370207cb8fe0ad9c458be62acfe9d3e4fb10d21
tree aee22195c3e172bd26ee18ed4cc47496e8533920 tree | zip | gz
parent 685d410eca0e64c7fe2f0b5ff0e8aaf9e27d9144 view | diff 
Fix for issue 4398 (status can be very slow: include a refresh mode)

Add a new option, where the user can specify the period (in seconds) that must be use to re-display the status of the server.
3 files modified
117 ■■■■■ changed files
opends/src/messages/messages/admin_tool.properties 11 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/status/StatusCli.java 67 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/status/StatusCliArgumentParser.java 39 ●●●●● diff | view | raw | blame | history