Merge pull request github#12383 from github/mbg/csharp/fix/diag-filename

mbg · web-flow · commit ce937e78c0f0 · 2023-03-08T14:04:29.000Z
C#: Append process id to diagnostics filename
diff --git a/csharp/autobuilder/Semmle.Autobuild.Shared/Autobuilder.cs b/csharp/autobuilder/Semmle.Autobuild.Shared/Autobuilder.cs
@@ -241,7 +241,7 @@ protected Autobuilder(IBuildActions actions, TAutobuildOptions options, Diagnost
             SourceArchiveDir = RequireEnvironmentVariable(EnvVars.SourceArchiveDir(this.Options.Language));
             DiagnosticsDir = RequireEnvironmentVariable(EnvVars.DiagnosticDir(this.Options.Language));
 
-            this.diagnostics = actions.CreateDiagnosticsWriter(Path.Combine(DiagnosticsDir, $"autobuilder-{DateTime.UtcNow:yyyyMMddHHmm}.jsonc"));
+            this.diagnostics = actions.CreateDiagnosticsWriter(Path.Combine(DiagnosticsDir, $"autobuilder-{DateTime.UtcNow:yyyyMMddHHmm}-{Environment.ProcessId}.jsonc"));
         }
 
         /// <summary>

Original file line number	Diff line number	Diff line change
`@@ -241,7 +241,7 @@ protected Autobuilder(IBuildActions actions, TAutobuildOptions options, Diagnost`
`241`	`241`	`SourceArchiveDir = RequireEnvironmentVariable(EnvVars.SourceArchiveDir(this.Options.Language));`
`242`	`242`	`DiagnosticsDir = RequireEnvironmentVariable(EnvVars.DiagnosticDir(this.Options.Language));`
`243`	`243`
`244`		`- this.diagnostics = actions.CreateDiagnosticsWriter(Path.Combine(DiagnosticsDir, $"autobuilder-{DateTime.UtcNow:yyyyMMddHHmm}.jsonc"));`
	`244`	`+ this.diagnostics = actions.CreateDiagnosticsWriter(Path.Combine(DiagnosticsDir, $"autobuilder-{DateTime.UtcNow:yyyyMMddHHmm}-{Environment.ProcessId}.jsonc"));`
`245`	`245`	`}`
`246`	`246`
`247`	`247`	`/// <summary>`