Don't launch gradation for 404 submission user

2023-03-06 15:01:39 +01:00 · 2023-03-06 15:01:39 +01:00 · 0836486e3e
commit 0836486e3e
parent db5658ccc1
1 changed files with 1 additions and 1 deletions
--- a/ui/src/routes/works/[wid]/rendus/+page.svelte
+++ b/ui/src/routes/works/[wid]/rendus/+page.svelte
@ -36,7 +36,7 @@
 async function runGradations() {
     gradation_preflight = true;
     for (const user of await usersP) {
-         if (repositoriesP[user.id]) {
+         if (repositoriesP[user.id] && show_dl_btn[user.id]) {
             try {
                 for (const repo of await repositoriesP[user.id]) {
                     repo.runGradation();