Minor enhancements to the TclKit download tool.

FossilOrigin-Name: 75e31b1d56781fc4d28aea6c7f1393a18fd34870a5beb92df81c088d61351b4a

manifest

@@ -1,5 +1,5 @@
-C Abort\sthe\swindow\sfunction\stree\srewrite\searly\sfollowing\san\sOOM.
-D 2019-11-23T16:34:40.792
+C Minor\senhancements\sto\sthe\sTclKit\sdownload\stool.
+D 2019-11-25T00:07:03.727
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -1750,7 +1750,7 @@ F test/zerodamage.test 9c41628db7e8d9e8a0181e59ea5f189df311a9f6ce99cc376dc461f66
 F test/zipfile.test b3b558639f7a103e095713ad0f57fec1fce1b7d60c8054df5789b98f7547a395
 F test/zipfile2.test 9903388a602a3834189857a985106ff95c3bba6a3969e0134127df991889db5d
 F test/zipfilefault.test 44d4d7a7f7cca7521d569d7f71026b241d65a6b1757aa409c1a168827edbbc2c
-F tool/GetFile.cs a15e08acb5dd7539b75ba23501581d7c2b462cb5
+F tool/GetFile.cs 47852aa0d806fe47ed1ac5138bdce7f000fe87aaa7f28107d0cb1e26682aeb44
 F tool/GetTclKit.bat 8995df40c4209808b31f24de0b58f90930239a234f7591e3675d45bfbb990c5d
 F tool/Replace.cs 02c67258801c2fb5f63231e0ac0f220b4b36ba91
 F tool/build-all-msvc.bat c12328d06c45fec8baada5949e3d5af54bf8c887 x
@@ -1851,7 +1851,7 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 57070c68bbe15fc1d19a765182432e844c082909bdbc63b58fd86b96e2c521dd
-R 5ec4b862f5e315c01dbee90c995a71d6
-U drh
-Z b069a61ef07a50420fc34a99d1dc8940
+P d66f95a51530259ab48f78c9f91acc38055caf338b6fee846b99a8c077466e95
+R d683a416a8082786a70e484e01bcd840
+U mistachkin
+Z b043cee0b36f72ca0ac332fc2e8f10e1

manifest.uuid

@@ -1 +1 @@
-d66f95a51530259ab48f78c9f91acc38055caf338b6fee846b99a8c077466e95
+75e31b1d56781fc4d28aea6c7f1393a18fd34870a5beb92df81c088d61351b4a

tool/GetFile.cs

@@ -167,7 +167,8 @@ namespace GetFile
             string fileName = Path.GetFileName(
                 Process.GetCurrentProcess().MainModule.FileName);
 
-            Console.WriteLine(String.Format("usage: {0} <uri>", fileName));
+            Console.WriteLine(String.Format(
+                "usage: {0} <uri> [fileName]", fileName));
         }
 
         ///////////////////////////////////////////////////////////////////////
@@ -336,7 +337,7 @@ namespace GetFile
                 return (int)ExitCode.MissingArgs;
             }
 
-            if (args.Length != 1)
+            if ((args.Length < 1) || (args.Length > 2))
             {
                 Error(null, true);
                 return (int)ExitCode.WrongNumArgs;
@@ -355,15 +356,26 @@ namespace GetFile
             }
 
             //
-            // NOTE: Attempt to extract the file name portion of the URI we
-            //       just created.
+            // NOTE: If a file name was specified on the command line, try to
+            //       use it (without its directory name); otherwise, fallback
+            //       to using the file name portion of the URI.
             //
-            string fileName = GetFileName(uri);
+            string fileName = (args.Length == 2) ?
+                Path.GetFileName(args[1]) : null;
 
-            if (fileName == null)
+            if (String.IsNullOrEmpty(fileName))
             {
-                Error("Could not extract the file name from the URI.", false);
-                return (int)ExitCode.BadFileName;
+                //
+                // NOTE: Attempt to extract the file name portion of the URI
+                //       we just created.
+                //
+                fileName = GetFileName(uri);
+
+                if (fileName == null)
+                {
+                    Error("Could not extract file name from URI.", false);
+                    return (int)ExitCode.BadFileName;
+                }
             }
 
             //
@@ -381,6 +393,15 @@ namespace GetFile
 
             try
             {
+                //
+                // HACK: For use of the TLS 1.2 security protocol because some
+                //       web servers fail without it.  In order to support the
+                //       .NET Framework 2.0+ at compilation time, must use its
+                //       integer constant here.
+                //
+                ServicePointManager.SecurityProtocol =
+                    (SecurityProtocolType)0xC00;
+
                 using (WebClient webClient = new WebClient())
                 {
                     //