Merge pull request github#14185 from michaelnebel/csharp/quotinghotfixrc

C#: Quoting hotfix.

Author: Dave Bartolomeo

csharp/ql/integration-tests/all-platforms/dotnet_run/test.py

@@ -53,3 +53,9 @@ def check_build_out(msg, s):
 s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test7-db', 'dotnet build', 'dotnet run --no-build hello world'], "test8-db")
 check_build_out("hello, world", s)
 check_diagnostics(test_db="test8-db")
+
+
+# two arguments, no '--' (first argument quoted)
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test8-db', 'dotnet run "hello world part1" part2'], "test9-db")
+check_build_out("hello world part1, part2", s)
+check_diagnostics(test_db="test9-db")

csharp/tools/tracing-config.lua

@@ -84,6 +84,10 @@ function RegisterExtractorPack(id)
                 dotnetRunNeedsSeparator = false
                 dotnetRunInjectionIndex = i
             end
+            -- if we encounter a whitespace, we explicitly need to quote the argument.
+            if OperatingSystem == 'windows' and arg:match('%s') then
+                argv[i] = '"' .. arg .. '"'
+            end
         end
         if match then
             local injections = { '-p:UseSharedCompilation=false', '-p:EmitCompilerGeneratedFiles=true' }