From a6b15fbb87c88c5de86a4fb1451298a107d0681d Mon Sep 17 00:00:00 2001 From: adrien Date: Tue, 6 May 2025 02:15:13 +0200 Subject: [PATCH] fix --- index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.php b/index.php index 79c7252..5bf3b68 100644 --- a/index.php +++ b/index.php @@ -29,7 +29,7 @@ $largeur = filter_input(INPUT_GET, 'colonnes', FILTER_VALIDATE_INT, [ $grille = new Grille($hauteur, $largeur); -if (!isset($_GET["grille"])) { +if (!isset($_GET["grille"]) || $_GET["grille"] == "") { do { $id = $grille->genere(); } while (!$id);