Andreas Huber
47e32bb6b1
Turn out, that caching on the client side does not play well when new data is loaded into the system.
8 lines
145 B
INI
8 lines
145 B
INI
base.dir=${java.io.tmpdir}/pdb
|
|
db.base=${base.dir}/db
|
|
|
|
path.tmp=${base.dir}/tmp
|
|
path.output=${base.dir}/out
|
|
|
|
logging.config=classpath:log4j2.xml
|