Submissions: reject XML project files, show submitted file names to admin

web/src/main/kotlin/ru/ysu/lms/web/admin/AdminController.kt

@@ -326,6 +326,7 @@ class AdminController(
                         source = if (va?.manual == true) "вручную" else "авто",
                         submissionId = submissionsByStudent[s.id]?.id,
                         submissionSeq = submissionsByStudent[s.id]?.seq,
+                        submissionFiles = submissionsByStudent[s.id]?.files ?: emptyList(),
                     )
                 },
             )

web/src/main/kotlin/ru/ysu/lms/web/admin/AdminLabView.kt

@@ -17,6 +17,7 @@ data class AdminLabStudent(
     val source: String,
     val submissionId: String? = null,
     val submissionSeq: Int? = null,
+    val submissionFiles: List<String> = emptyList(),
     val defenseStatus: String? = null,
     val defenseCode: String? = null,
     val defenseSessionId: String? = null,

web/src/main/resources/templates/admin/lab.html

@@ -129,6 +129,9 @@
                             <a th:if="${s.submissionId}" class="cell-link"
                                th:href="'/admin/submissions/' + ${s.submissionId} + '/download'">
                                 попытка <span th:text="${s.submissionSeq}">1</span> ↓</a>
+                            <div th:if="${!#lists.isEmpty(s.submissionFiles)}" class="text-muted text-sm font-mono">
+                                <span th:text="${#strings.listJoin(s.submissionFiles, ', ')}">main.c</span>
+                            </div>
                             <span th:unless="${s.submissionId}" class="text-muted">—</span>
                         </td>
                     </tr>