On 9 Aug 2012, at 09:42, Paolo Castagna <[email protected]> wrote:

> Hi Damian,
> tdbloader3 uses the directory you specify as temporary directory to
> spill stuff on disk (via DataBags contributed by Stephen).
> On many systems /tmp is limited (for good reasons), therefore we need to
> give users somehow the opportunity to set the java.io.tmpdir property.
> 
> Paolo

Aha, so this is simply "make java respect $TMPDIR/$TMP". Don't see any harm in 
adding that to all scripts (he said boldly).

Damian

Reply via email to