more debug

DOMjudge · Aug 26, 2024 · f3035e9 · f3035e9
1 parent a3ac52b
commit f3035e9
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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