luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5845 from eed3si9n/wip/sig_files_written 

Demote [sig files written]
This commit is contained in:
eugene yokota 2020-09-13 19:39:05 -04:00 committed by GitHub
parent 8053ebea73 350a6af6ef
commit 6ebba09020
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
main/src/main/scala/sbt/internal/server/BuildServerReporter.scala
View File

@ -70,10 +70,16 @@ class BuildServerReporter(
}
override def logInfo(problem: Problem): Unit = {
publishDiagnostic(problem)
// demote this message https://github.com/scala/bug/issues/12097
val sigFilesWritten = "[sig files written]"
if (problem.message == sigFilesWritten) {
logger.debug(sigFilesWritten)
} else {
publishDiagnostic(problem)
// console channel can keep using the xsbi.Problem
logger.infoEvent(problem)
// console channel can keep using the xsbi.Problem
logger.infoEvent(problem)
}
}
private def publishDiagnostic(problem: Problem): Unit = {