Merge pull request 'Fixed: podcasts may have .mp3 extension instead of .MP3' (#1) from release/dev into main

Reviewed-on: #1
This commit was merged in pull request #1.
This commit is contained in:
2024-04-26 13:36:49 +02:00

View File

@@ -196,8 +196,12 @@ QUERY;
$files = [];
$size = 0;
while($duration--) {
$file = '/var/audio/uitzending/' . $currentHour->format('Ymd_Hi') . '.MP3';
if(!file_exists($file)) {
$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);
}