csv: Allow output customization.

[nit.git] / src / metrics / metrics_base.nit

diff --git a/src/metrics/metrics_base.nit b/src/metrics/metrics_base.nit
index c99ec62..c51e656 100644 (file)
--- a/src/metrics/metrics_base.nit
+++ b/src/metrics/metrics_base.nit
@@ -370,6 +370,8 @@ class MetricSet
        fun to_csv: CsvDocument do
                var csv = new CsvDocument
 
+               csv.format = new CsvFormat('"', ';', "\n")
+
                # set csv headers
                csv.header.add("entry")
                for metric in metrics do csv.header.add(metric.name)