From 6a24907d841beb4417d278e19e721f92d0cb3650 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Mon, 23 Jul 2018 01:26:17 -0400
Subject: [PATCH] Add a step to cleanup the sessions on the container

---
 infrastructure/cleanup_sessions.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infrastructure/cleanup_sessions.sh b/infrastructure/cleanup_sessions.sh
index aee2f7b..649f454 100755
--- a/infrastructure/cleanup_sessions.sh
+++ b/infrastructure/cleanup_sessions.sh
@@ -3,8 +3,9 @@
 # Kill all old processes
 lxc exec safecontainer -- killall  -u unprivileged --older-than 30s -signal KILL
 
-# Delete all old directories
+# Delete all old directories, both in container and locally
 lxc exec safecontainer -- find /tmp/ -mindepth 1  -type d -mmin +1 -exec rm -rf {}  \;
+find /tmp/ -mindepth 1  -type d -mmin +1 -exec rm -rf {}  \;
 
 (if [ -d /webapps/compile_server/bin/ ] ; then
     export PATH=/webapps/compile_server/bin/:$PATH