From dee127eebfe39a17d455dc9a1465c99ab4b58e75 Mon Sep 17 00:00:00 2001
From: NH Gooi <techniek@nhgooi.nl>
Date: Fri, 26 Apr 2024 13:35:20 +0200
Subject: [PATCH] Fixed: podcasts may have .mp3 extension instead of .MP3

---
 api/app/Http/Controllers/PodcastController.php | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/api/app/Http/Controllers/PodcastController.php b/api/app/Http/Controllers/PodcastController.php
index eca7e96..58e1e5e 100644
--- a/api/app/Http/Controllers/PodcastController.php
+++ b/api/app/Http/Controllers/PodcastController.php
@@ -196,10 +196,14 @@ QUERY;
         $files = [];
         $size = 0;
         while($duration--) {
-          $file = '/var/audio/uitzending/' . $currentHour->format('Ymd_Hi') . '.MP3';
-          if(!file_exists($file)) {
-            return abort(404);
-          }
+	  $file = '/var/audio/uitzending/' . $currentHour->format('Ymd_Hi');
+	  if(file_exists($file . '.mp3')) {
+	    $file .= '.mp3'; 
+	  } else if(file_exists($file . '.MP3')) {
+	    $file .= '.MP3'; 
+	  } else {
+	    return abort(404);
+	  }
 
           $size += ($filesize = filesize($file));
           $files[] = [$file, $filesize];