mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5349c9 | patch | commitdiff
coulbeck
25.39.2007 a1dd4091c0e2c962380890f9e393f63fb0c4fb20
refs
author coulbeck <coulbeck@localhost>
Wednesday, April 25, 2007 18:39 +0200
committer coulbeck <coulbeck@localhost>
Wednesday, April 25, 2007 18:39 +0200
commita1dd4091c0e2c962380890f9e393f63fb0c4fb20
tree cd7bf57094bceda3542bd505917beb488dc30a00 tree | zip | gz
parent 5349c97806bb0a00038d8dc3dee4254fad187649 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
opends/src/server/org/opends/server/core/DirectoryServer.java 3 ●●●●● diff | view | raw | blame | history