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

matthew_swift
10.38.2009 3e8e32d7139c5f70a67f04e4e1337e8ee0b3a04b
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}