external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

summary
commits
tree
docs
forks
compare

OPENDJ-1166-checkpoint Improve tools behavior

Gaetan Boismal

09.44.2015 12034b057af590521acaf1d5dfa40725f0be842d

 opendj-server-legacy/src/messages/org/opends/messages/tool.properties

@@ -2669,3 +2669,5 @@
 backend type %s. Error message: %s
ERR_DBTEST_NOT_JE_BACKEND_20012=%s is not a JE backend. Only JE backends are supported \
 by this version of the tool
ERR_INSTANCE_NOT_CONFIGURED_20013=The local instance is not configured or you do not \
 have permissions to access it.

			@@ -2669,3 +2669,5 @@
			backend type %s. Error message: %s
			ERR_DBTEST_NOT_JE_BACKEND_20012=%s is not a JE backend. Only JE backends are supported \
			by this version of the tool
			ERR_INSTANCE_NOT_CONFIGURED_20013=The local instance is not configured or you do not \
			have permissions to access it.