From: brian <brian@brianweb.net>
Date: Thu, 15 Dec 2005 02:08:37 +0000 (-0800)
Subject: set TMPDIR
X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=commitdiff_plain;h=cacc732f08a9720d775432ef32e21cfb7a91a553

set TMPDIR

darcs-hash:20051215020837-24bed-1920ef712c06f0421c5ee8ab26d7e60f72308e5f.gz
---

diff --git a/src/org/ibex/nestedvm/UnixRuntime.java b/src/org/ibex/nestedvm/UnixRuntime.java
index bd63674..f5b1455 100644
--- a/src/org/ibex/nestedvm/UnixRuntime.java
+++ b/src/org/ibex/nestedvm/UnixRuntime.java
@@ -92,13 +92,15 @@ public abstract class UnixRuntime extends Runtime implements Cloneable {
     }
     
     String[] createEnv(String[] extra) {
-        String[] defaults = new String[6];
+        String[] defaults = new String[7];
         int n=0;
         if(extra == null) extra = new String[0];
         if(!envHas("USER",extra) && Platform.getProperty("user.name") != null)
             defaults[n++] = "USER=" + Platform.getProperty("user.name");
         if(!envHas("HOME",extra) && Platform.getProperty("user.home") != null)
             defaults[n++] = "HOME=" + Platform.getProperty("user.home");
+        if(!envHas("TMPDIR",extra) && Platform.getProperty("java.io.tmpdir") != null)
+            defaults[n++] = "TMPDIR=" + Platform.getProperty("java.io.tmpdir");
         if(!envHas("SHELL",extra)) defaults[n++] = "SHELL=/bin/sh";
         if(!envHas("TERM",extra) && !win32Hacks)  defaults[n++] = "TERM=vt100";
         if(!envHas("TZ",extra))    defaults[n++] = "TZ=" + posixTZ();