mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 44789f | patch | commitdiff
coulbeck
25.39.2007 4393c63ffc480063e702079f06a232153d8d82be
refs
author coulbeck <coulbeck@localhost>
Wednesday, April 25, 2007 18:39 +0200
committer coulbeck <coulbeck@localhost>
Wednesday, April 25, 2007 18:39 +0200
commit4393c63ffc480063e702079f06a232153d8d82be
tree 1d14c6c26cf70f24d8cab54cb90830b165b9948a tree | zip | gz
parent 44789f3979a2303ba8501b6b97b880bb53f321fa view | diff 
This change makes it easy to determine the version of JE in the server using 'start-ds -s'.
1 files modified
3 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/core/DirectoryServer.java 3 ●●●●● diff | view | raw | blame | history