debug

galaxyproject · Jul 17, 2023 · bf7f535 · bf7f535
1 parent 293fdb2
commit bf7f535
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/planemo_ci_actions.sh b/planemo_ci_actions.sh
@@ -3,7 +3,7 @@ set -exo pipefail
 
 # function running an infinite loop pruning (unused) docker images
 function background_prune_docker {
-  while 1; do
+  while true; do
     docker system prune --all --volumes --force &>> /tmp/prune
     sleep 60
   done
@@ -162,8 +162,6 @@ if [ "$MODE" == "test" ]; then
   cat tool_list_chunk.txt
 
   background_prune_docker &
-  sleep 60
-
   PRUNE_PID=$!
   ps aux
   cat /tmp/prune
@@ -196,8 +194,8 @@ if [ "$MODE" == "test" ]; then
   mv tool_test_output.json tool_test_output.html upload/
 
   cat /tmp/prune
-  # ps aux
-  # kill "$PRUNE_PID"
+  ps aux
+  kill "$PRUNE_PID"
 fi
 
 # combine reports mode