author | wenzelm |
Sun, 16 Jul 2023 13:45:46 +0200 | |
changeset 78363 | fca9ec5a615c |
parent 78362 | 8da30ae02dda |
child 78364 | e33cca11b474 |
--- a/src/Pure/General/sql.scala Sun Jul 16 13:41:00 2023 +0200 +++ b/src/Pure/General/sql.scala Sun Jul 16 13:45:46 2023 +0200 @@ -477,7 +477,7 @@ def trace(msg: String, nl: Boolean = false): Unit = { val trace_time = Time.now() - trace_start if (trace_time >= trace_min) { - val nl = if (trace_nl) { trace_nl = true; "\n" } else "" + val nl = if (trace_nl) "" else { trace_nl = true; "\n" } log(nl + trace_time + " transaction " + trace_count + if_proper(label, " " + label) + ": " + msg) }