C#: Use Brotli instead of Gzip

hvitved · hvitved · commit 1c66444a61c4 · 2022-02-10T14:30:24.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction/Options.cs b/csharp/extractor/Semmle.Extraction/Options.cs
@@ -52,7 +52,7 @@ public abstract class CommonOptions : ICommandLineOptions
         /// <summary>
         /// The compression algorithm used for trap files.
         /// </summary>
-        public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Gzip;
+        public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Brotli;
 
         public virtual bool HandleOption(string key, string value)
         {

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ public abstract class CommonOptions : ICommandLineOptions`
`52`	`52`	`/// <summary>`
`53`	`53`	`/// The compression algorithm used for trap files.`
`54`	`54`	`/// </summary>`
`55`		`- public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Gzip;`
	`55`	`+ public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Brotli;`
`56`	`56`
`57`	`57`	`public virtual bool HandleOption(string key, string value)`
`58`	`58`	`{`