dashboard
repositories
filestore
activity
search
login
external-software
/
github_OpenIdentityPlatform_OpenDJ
mirror of
https://github.com/OpenIdentityPlatform/OpenDJ.git
summary
commits
tree
docs
forks
compare
blame
|
history
|
raw
Fix for issue 3474: authzid is ignored when checking groupdn membership.
dugan
11.57.2008
1b00a59effd69fa2f9c8ec326fd5aea17dc0831d
[external-software/github_OpenIdentityPlatform_OpenDJ.git]
/
opends
/
tests
/
performance
/
response-time
/
build.properties
1
2
3
4
5
6
7
8
9
10
11
# directory names
install.dir=install
product.dir=product
tmp.dir=tmp
data.dir=data
# directory pathes
install.path=${basedir}${file.separator}${install.dir}
product.path=${install.path}${file.separator}${product.dir}
data.path=${basedir}${file.separator}${data.dir}
tmp.path=${basedir}${file.separator}${tmp.dir}