Merge pull request #2259 from dotty-staging/fix-#2245

Fix #2245: strip colors from strings before writing to file

1 files changed, 5 insertions, 2 deletions

diff --git a/compiler/test/dotty/tools/vulpix/SummaryReport.scala b/compiler/test/dotty/tools/vulpix/SummaryReport.scala
index 678d88809..dae83c13d 100644
--- a/compiler/test/dotty/tools/vulpix/SummaryReport.scala
+++ b/compiler/test/dotty/tools/vulpix/SummaryReport.scala
@@ -131,11 +131,14 @@ final class SummaryReport extends SummaryReporting {
     if (cleanUps.nonEmpty) cleanUps.foreach(_.apply())
   }
 
+  private def removeColors(msg: String): String =
+    msg.replaceAll("\u001b\\[.*?m", "")
+
   def echoToLog(msg: String): Unit =
-    TestReporter.logPrintln(msg)
+    TestReporter.logPrintln(removeColors(msg))
 
   def echoToLog(it: Iterator[String]): Unit = {
-    it.foreach(TestReporter.logPrint)
+    it.foreach(msg => TestReporter.logPrint(removeColors(msg)))
     TestReporter.logFlush()
   }
 }