At Sat, 29 May 2010 09:49:38 -0600, Jay McCarthy wrote: > Hmm, yes. I can probably fix it on Tuesday. But for now if you set > TMPDIR to something on the same partition before calling it it should > be fine.
That worked. Thanks, Vincent _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
