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

lutoff
27.05.2007 ef41ebb49c1241e04d3e8a9579bac80cc09d3672
opendj-sdk/opends/resource/config/tools.properties
@@ -46,3 +46,8 @@
# the default value for the "port" argument defined
# above. 
# dsframework.port=1389
# Default stop-ds argument values. This overrides
# the default value for the "port" argument defined
# above.
# stop-ds.port=1389