From 5eb00c07a192a45a47d504589796b2a318c478b9 Mon Sep 17 00:00:00 2001 From: Connor Nelson Date: Fri, 7 Mar 2025 15:01:14 -0700 Subject: [PATCH] Course: Fix render support for locally grading all students --- dojo_theme/static/js/dojo/grades.js | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/dojo_theme/static/js/dojo/grades.js b/dojo_theme/static/js/dojo/grades.js index eb8ff10c..22581ce2 100644 --- a/dojo_theme/static/js/dojo/grades.js +++ b/dojo_theme/static/js/dojo/grades.js @@ -151,8 +151,7 @@ async function loadAllGrades(selector) { const course = { ...courseData.course, student: { ...student, token: studentToken } }; const solves = solvesData.solves.filter(solve => solve.student_token === studentToken); gradeWorker.postMessage({ type: "grade", data: { course, modules: modulesData.modules, solves } }); - const gradedMessage = await gradeWorker.waitForMessage("graded"); - grades[studentToken] = gradedMessage.grades; + grades[studentToken] = (await gradeWorker.waitForMessage("graded")).grades; } const sortedGrades = Object.entries(grades).sort(([_, a], [__, b]) => b.overall.credit - a.overall.credit); @@ -180,7 +179,7 @@ async function loadAllGrades(selector) { sortedGrades.forEach(([studentToken, studentGrades]) => { const row = document.createElement("tr"); const studentCell = document.createElement("td"); - studentCell.textContent = studentsData.students[studentToken].name; + studentCell.textContent = studentToken; row.appendChild(studentCell); const gradeCell = document.createElement("td");