Properly escape CSV output in playground.

This commit is contained in:
Greyson Parrelli 2024-12-06 11:43:55 -05:00
parent 2ec1bde18a
commit 46c93760b3

View file

@ -200,7 +200,15 @@ private fun QueryResult.toCopyString(): String {
}
private fun List<Any?>.toCsv(): String {
return this.joinToString(separator = ", ", transform = { it.toDisplayString() })
return this.joinToString(
separator = ",",
transform = { input ->
input
.toDisplayString()
.replace("\"", "\"\"")
.let { if (it.isNotEmpty()) "\"$it\"" else "" }
}
)
}
@SignalPreview