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

Replace nnbsp with regular space

This commit is contained in:
Friendseeker 2024-10-29 17:43:33 -07:00
parent 4835812e1c
commit 92d4cfa690
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
main-command/src/main/scala/sbt/internal/client/NetworkClient.scala
View File

@ -1011,7 +1011,7 @@ class NetworkClient(
private def timing(startTime: Long, endTime: Long): String = { private def timing(startTime: Long, endTime: Long): String = {
import java.text.DateFormat import java.text.DateFormat
val format = DateFormat.getDateTimeInstance(DateFormat.MEDIUM, DateFormat.MEDIUM) val format = DateFormat.getDateTimeInstance(DateFormat.MEDIUM, DateFormat.MEDIUM)
val nowString = format.format(new java.util.Date(endTime)) val nowString = format.format(new java.util.Date(endTime)).replace("\u202F", "\u0020")
val total = math.max(0, (endTime - startTime + 500) / 1000) val total = math.max(0, (endTime - startTime + 500) / 1000)
val totalString = s"$total s" + val totalString = s"$total s" +
(if (total <= 60) "" (if (total <= 60) ""

2
main/src/main/scala/sbt/internal/Aggregation.scala
View File

@ -152,7 +152,7 @@ object Aggregation {
} }
def timing(format: java.text.DateFormat, startTime: Long, endTime: Long): String = { def timing(format: java.text.DateFormat, startTime: Long, endTime: Long): String = {
val nowString = format.format(new java.util.Date(endTime)) val nowString = format.format(new java.util.Date(endTime)).replace("\u202F", "\u0020")
val total = (endTime - startTime + 500) / 1000 val total = (endTime - startTime + 500) / 1000
val totalString = s"$total s" + val totalString = s"$total s" +
(if (total <= 60) "" (if (total <= 60) ""