cron: don't delete group if it has patches

nunoplopes · Jul 17, 2024 · 0f41a64 · 0f41a64
1 parent eb4c8a5
commit 0f41a64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cron.php b/cron.php
@@ -112,7 +112,7 @@ function run_groups() {
       $shift = db_fetch_shift($year, $shift);
       $group = db_fetch_group($year, $number, $shift);
 
-      if (!$students) {
+      if (!$students && (!$group || !$group->patches)) {
         db_delete($group);
         continue;
       }