make logging ignore all git trace lines

nfdi4plants · Feb 25, 2022 · 8c18631 · 8c18631
1 parent 0c4f946
commit 8c18631
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/ArcCommander/GitHelper.fs b/src/ArcCommander/GitHelper.fs
@@ -21,16 +21,16 @@ module GitHelper =
 
         let outputs = System.Collections.Generic.List<string>()
         let outputHandler (_sender:obj) (args:DataReceivedEventArgs) = 
-            if (args.Data = null || args.Data.Contains "trace:") |> not then
+            if (args.Data = null || args.Data.Contains "trace") |> not then
                 outputs.Add args.Data
                 log.Trace($"TRACE: {args.Data}")
 
         let errorHandler (_sender:obj) (args:DataReceivedEventArgs) =       
-            if (args.Data = null || args.Data.Contains "trace:") |> not then                
+            if (args.Data = null || args.Data.Contains "trace") |> not then                
                 log.Error($"ERROR: {args.Data}")
 
         let p = new Process(StartInfo = procStartInfo)
-        
+
         p.OutputDataReceived.AddHandler(DataReceivedEventHandler outputHandler)
         p.ErrorDataReceived.AddHandler(DataReceivedEventHandler errorHandler)
         p.Start() |> ignore