Force Ceres net downloads to be be uppercase.

dje-dev · dje-dev · commit 20f07b00bc5b · 2024-11-14T15:20:42.000-05:00
diff --git a/src/Ceres.Base/Misc/CeresNetDownloader.cs b/src/Ceres.Base/Misc/CeresNetDownloader.cs
@@ -112,6 +112,9 @@ public static void Test()
     /// <returns></returns>
     private string DoDownloadNet(string ceresNetID, string ceresNetDirectory, ref string targetFileName, bool uciMessagesOnly)
     {
+      // Ceres nets always uppercase (GitHub download is Linux-based and case-sensitive).
+      ceresNetID = ceresNetID.ToUpper();
+
       IAnsiConsole console = uciMessagesOnly ? null : AnsiConsole.Console;
 
       // Allow user to cancel download with Ctrl-C.

Original file line number	Diff line number	Diff line change
`@@ -112,6 +112,9 @@ public static void Test()`
`112`	`112`	`/// <returns></returns>`
`113`	`113`	`private string DoDownloadNet(string ceresNetID, string ceresNetDirectory, ref string targetFileName, bool uciMessagesOnly)`
`114`	`114`	`{`
	`115`	`+ // Ceres nets always uppercase (GitHub download is Linux-based and case-sensitive).`
	`116`	`+ ceresNetID = ceresNetID.ToUpper();`
	`117`	`+`
`115`	`118`	`IAnsiConsole console = uciMessagesOnly ? null : AnsiConsole.Console;`
`116`	`119`
`117`	`120`	`// Allow user to cancel download with Ctrl-C.`