From 61972810d0ec8456d17e94b89d2259d5e319a4d1 Mon Sep 17 00:00:00 2001
From: Julian Dolby <juliandolby@gmail.com>
Date: Tue, 17 Apr 2018 12:13:20 -0400
Subject: [PATCH] more work on file names

---
 .../ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java b/com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java
index 767382d06..a90d347b4 100644
--- a/com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java
+++ b/com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java
@@ -13,6 +13,7 @@ package com.ibm.wala.cast.js.nodejs;
 import java.io.File;
 import java.io.IOException;
 import java.io.InputStream;
+import java.nio.file.Files;
 import java.util.Arrays;
 import java.util.Map;
 import java.util.Set;
@@ -58,10 +59,13 @@ public class NodejsRequiredCoreModule extends NodejsRequiredSourceModule {
 	       
 	public static NodejsRequiredCoreModule make(String name) throws IOException {
 	  if (! names.containsKey(name)) {
-	    names.put(name,  new File(System.getProperty("java.io.tmpdir") + "/" + name + ".js"));
+	    java.nio.file.Path p = Files.createTempDirectory("nodejs");
+	    File f = new File(p.toFile(), name + ".js");
+	    f.deleteOnExit();
+	    p.toFile().deleteOnExit();
+      names.put(name,  f);
 	  }
 	  File file = names.get(name);
-		file.deleteOnExit();
 		TemporaryFile.streamToFile(file, getModule(name));
 		SourceFileModule sourceFileModule = CAstCallGraphUtil.makeSourceModule(file.toURI().toURL(), file.getName());
 		return new NodejsRequiredCoreModule(file, sourceFileModule);