On Fri, 13 Dec 2002, Stephane Bailliez <[EMAIL PROTECTED]> wrote: > Maybe we could simply default to java.io.tmpdir rather than adding > yet another property or attribute
We could use that to fall back if the attribute has not been set and it has been defined. > Ok this is NOT 1.1, Right, thus we shouldn't rely on it. Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
