From f3035e96d388d794e614046ee104c76567460585 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Mon, 26 Aug 2024 21:53:51 +0200
Subject: [PATCH]  more debug

---
 judge/testcase_run.sh | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/judge/testcase_run.sh b/judge/testcase_run.sh
index e6580ba826..e1fd5e3c50 100755
--- a/judge/testcase_run.sh
+++ b/judge/testcase_run.sh
@@ -213,11 +213,7 @@ runcheck "$RUN_SCRIPT" $RUNARGS \
 	"$PREFIX/$PROGRAM" 2>runguard.err
 
 logmsg $LOG_INFO "PSTREE"
-logmsg $LOG_INFO $(pstree -p)
-logmsg $LOG_INFO "DF"
-logmsg $LOG_INFO $(df -h)
-logmsg $LOG_INFO "free"
-logmsg $LOG_INFO $(free -m)
+pstree -p >> $LOGFILE
 
 if [ "$CREATE_WRITABLE_TEMP_DIR" ]; then
 	# Revoke access to the TMPDIR as security measure