From 4a134082f18f671deb5a0029e0105072ff9dee38 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Thu, 23 Nov 2023 11:09:54 +0100
Subject: [PATCH] Fix message in judgehost cleanup.

This is likely incorrect for historical reasons since we changed the
directory structure.

Previous output:
```
Cleaning up judging data...
  in goo-0/endpoint-default:
    removing judging data for contest ./100
...
```

New output:
```
Cleaning up judging data...
  in goo-0/endpoint-default:
    removing judging data for submission s100
...
```
---
 misc-tools/dj_judgehost_cleanup.in | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/misc-tools/dj_judgehost_cleanup.in b/misc-tools/dj_judgehost_cleanup.in
index 39ceebc7e6..4fef6ac289 100755
--- a/misc-tools/dj_judgehost_cleanup.in
+++ b/misc-tools/dj_judgehost_cleanup.in
@@ -85,9 +85,9 @@ cleanup_judgings() {
         [ -d "$d" ] || continue
         cd "$d"
         echo "  in $d:"
-        find . -maxdepth 1 -type d -regex '\./[0-9]+' | while IFS= read -r contest; do
-            echo "    removing judging data for contest $contest"
-            rm -rf "${contest:?}/"
+        find . -maxdepth 1 -type d -regex '\./[0-9]+' | while IFS= read -r submission; do
+            echo "    removing judging data for submission s${submission#./}"
+            rm -rf "${submission:?}/"
         done
         cd - >/dev/null
     done