From fff1e6cddf1bb6f091d68b538a8874019d98e0e7 Mon Sep 17 00:00:00 2001
From: Vichingo455 <vichingo455@gmail.com>
Date: Thu, 11 Sep 2025 09:58:22 +0200
Subject: [PATCH] altra piccola modifica

---
 htdocs/docenti.php | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/htdocs/docenti.php b/htdocs/docenti.php
index 5a4e7db..d97c281 100644
--- a/htdocs/docenti.php
+++ b/htdocs/docenti.php
@@ -10,9 +10,9 @@ $hours = [
   5 => "Quinta ora<br>11:55 - 12:50",
   6 => "Sesta ora<br>12:50 - 13:50"
 ];
-if ($teacher == "No Lezione") {
-	header("Location: index.php");
-    	exit;
+if ($teacher == "No Lezione" || $teacher == "sconosciuto") {
+	  header("Location: index.php");
+    exit;
 }
 else if (!isset($_GET['teacher'])) {
     header("Location: index.php");
@@ -23,7 +23,6 @@ $teacher = $conn->real_escape_string($_GET['teacher']);
 $res = $conn->query("SELECT DISTINCT teacher FROM subjects WHERE teacher = '$teacher' LIMIT 1");
 
 if ($res->num_rows === 0) {
-    // Insegnante non trovato
     header("Location: index.php");
     exit;
 }