From 060f05247aa7f6355de7aa6048acd9fc6465056f Mon Sep 17 00:00:00 2001
From: Vichingo455 <vichingo455@noreply@manuelnet.ddns.net>
Date: Thu, 11 Sep 2025 07:58:53 +0000
Subject: [PATCH] Altra piccola modifica

---
 htdocs/docenti.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/docenti.php b/htdocs/docenti.php
index 5a4e7db..d20bb64 100644
--- a/htdocs/docenti.php
+++ b/htdocs/docenti.php
@@ -10,7 +10,7 @@ $hours = [
   5 => "Quinta ora<br>11:55 - 12:50",
   6 => "Sesta ora<br>12:50 - 13:50"
 ];
-if ($teacher == "No Lezione") {
+if ($teacher == "No Lezione" || $teacher == "sconosciuto") {
 	header("Location: index.php");
     	exit;
 }