On Wed, Jan 25, 2012 at 12:25:33PM +0100, Jon Kleiser wrote: > Yes, if "tmp/" already exists, then it works. Maybe the "tmp/" > should be created if it doesn't already exist ...?
You mean in the "ersatz/pil" wrapper script, before the JVM is started? I would be reluctant to do so, because "tmp/" is created by the 'tmp' and 'javac' functions only if really needed. Creating it on each and every start might clobber too many places with unnecessary "tmp/" directories, and could even crash (no write permission). Cheers, - Alex -- UNSUBSCRIBE: mailto:email@example.com?subject=Unsubscribe