From b7276e12e36501a00887fcf58888a0caac8fdd26 Mon Sep 17 00:00:00 2001
From: Christophe HENRY <christophe.henry@sbgodin.fr>
Date: Sat, 20 Mar 2021 23:58:43 +0100
Subject: [PATCH] Removes unuseful case

---
 index.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/index.php b/index.php
index a551626..6aef3f7 100644
--- a/index.php
+++ b/index.php
@@ -27,7 +27,6 @@ $documentRoot = $_SERVER['DOCUMENT_ROOT'];
 $filePath = rtrim($_SERVER['DOCUMENT_ROOT'], "/")."/".ltrim($url, "/");
 
 switch(true) {
-    case false:
     case !realPath($filePath):
     case !preg_match("/\.gmi$/", $url): # not finishing by .gmi
     case strpos($filePath, $documentRoot)!==0: # not in web directory