((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-dev] Push #20327: The DrDr now makes house calls

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Sat May 29 15:49:12 EDT 2010		 
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
Posted on the dev mailing list.