From 8d6e0935836eb8fc0e3daf420d6f8580356ebffa Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 16 Sep 2024 12:14:38 +0200
Subject: [PATCH] try different temp

---
 stainless-ci.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index b7892c1b6..710e5d959 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -31,7 +31,8 @@ SKIP_TESTS=false
 ROOT_DIR=$PWD
 SBT_TEMP=$ROOT_DIR/sbt-temp
 mkdir -p $SBT_TEMP
-export JAVA_OPTS="-Djava.io.tmpdir=$SBT_TEMP"
+BLOODY_SOCKET_DIR=/var/tmp/$RANDOM
+export JAVA_OPTS="-Djava.io.tmpdir=$BLOODY_SOCKET_DIR"
 SBT_DIR=$ROOT_DIR/temp  # make better later
 SBT=${SBT_DIR}/sbt/bin/sbt 
 
@@ -195,4 +196,6 @@ DURATION=$((TIME_AFTER - TIME_BEFORE))
 echo ""
 echo "********************************* CI PASSED! *********************************"
 
+# Too bad we have all those `exit` commands all over place, so they do not see this cleanup!
+rm -rf $BLOODY_SOCKET_DIR
 echo "Total time: $DURATION seconds"