14 Dec
2010
14 Dec
'10
10:19 a.m.
Hi Godmar and Christian,
thanks for the fast feedback, we'll try your suggestions. I'm pretty sure it will be OK.
Hartelijke groet,
Huib Verweij.
Op 13 dec 2010, om 16:45 heeft Godmar Back het volgende geschreven:
A work-around which we use is to set the user.home property. This can be done via -Duser.home= on the JVM command line when starting the BaseX server.