pepperdash/Essentials
1
0
Fork 0
mirror of https://github.com/PepperDash/Essentials.git synced 2026-02-16 13:15:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1383 from onryigit/fix/case-insensitive-files

Browse Source
This commit is contained in:
Neil Dorin
2026-02-03 13:51:56 -07:00
committed by GitHub
parent 4fa7a42330 a4759c3e67
commit 1404899342
1 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/PepperDash.Essentials/ControlSystem.cs
View File

@@ -1,4 +1,4 @@
using System; using System;
using System.IO.Compression; using System.IO.Compression;
using System.Linq; using System.Linq;
using System.Reflection; using System.Reflection;
@@ -549,7 +549,10 @@ namespace PepperDash.Essentials
var applicationDirectory = new DirectoryInfo(Global.ApplicationDirectoryPathPrefix); var applicationDirectory = new DirectoryInfo(Global.ApplicationDirectoryPathPrefix);
Debug.LogMessage(LogEventLevel.Information, "Searching: {applicationDirectory:l} for embedded assets - {Destination}", applicationDirectory.FullName, Global.FilePathPrefix); Debug.LogMessage(LogEventLevel.Information, "Searching: {applicationDirectory:l} for embedded assets - {Destination}", applicationDirectory.FullName, Global.FilePathPrefix);
var zipFiles = applicationDirectory.GetFiles("assets*.zip"); var zipFiles = applicationDirectory.GetFiles("*")
.Where(f => f.Name.StartsWith("assets", StringComparison.OrdinalIgnoreCase) &&
f.Extension.Equals(".zip", StringComparison.OrdinalIgnoreCase))
.ToArray();
if (zipFiles.Length > 1) if (zipFiles.Length > 1)
{ {
@@ -597,7 +600,10 @@ namespace PepperDash.Essentials
File.Delete(file.FullName); File.Delete(file.FullName);
} }
var htmlZipFiles = applicationDirectory.GetFiles("htmlassets*.zip"); var htmlZipFiles = applicationDirectory.GetFiles("*")
.Where(f => f.Name.StartsWith("htmlassets", StringComparison.OrdinalIgnoreCase) &&
f.Extension.Equals(".zip", StringComparison.OrdinalIgnoreCase))
.ToArray();
if (htmlZipFiles.Length > 1) if (htmlZipFiles.Length > 1)
{ {
@@ -658,7 +664,10 @@ namespace PepperDash.Essentials
File.Delete(file.FullName); File.Delete(file.FullName);
} }
var jsonFiles = applicationDirectory.GetFiles("*configurationFile*.json"); var jsonFiles = applicationDirectory.GetFiles("*")
.Where(f => f.Name.IndexOf("configurationFile", StringComparison.OrdinalIgnoreCase) >= 0 &&
f.Extension.Equals(".json", StringComparison.OrdinalIgnoreCase))
.ToArray();
if (jsonFiles.Length > 1) if (jsonFiles.Length > 1)
{ {