From 0f41a64b7df7bcbd7f200722f6bab532f9492aff Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Wed, 17 Jul 2024 08:05:01 +0100
Subject: [PATCH] cron: don't delete group if it has patches

---
 cron.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cron.php b/cron.php
index 00efc10..5add3cc 100644
--- 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;
       }