From 8a0afd8820f5e7fc2526256f02fc4f2cac4f1d88 Mon Sep 17 00:00:00 2001
From: Jan Kozusznik <jan@kozusznik.cz>
Date: Tue, 23 Jan 2018 12:39:23 +0100
Subject: [PATCH] different formating of double
---
.../src/it4i/fiji/benchmark_extractor/Extractor.java | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/benchmark-collector/src/it4i/fiji/benchmark_extractor/Extractor.java b/benchmark-collector/src/it4i/fiji/benchmark_extractor/Extractor.java
index 9b991769..d11356de 100644
--- a/benchmark-collector/src/it4i/fiji/benchmark_extractor/Extractor.java
+++ b/benchmark-collector/src/it4i/fiji/benchmark_extractor/Extractor.java
@@ -6,14 +6,12 @@ import java.io.OutputStream;
import java.io.PrintWriter;
import java.nio.file.Files;
import java.nio.file.Path;
-import java.text.NumberFormat;
import java.time.Duration;
import java.time.LocalTime;
import java.time.format.DateTimeFormatter;
import java.util.HashMap;
import java.util.LinkedList;
import java.util.List;
-import java.util.Locale;
import java.util.Map;
import java.util.Set;
import java.util.function.Function;
@@ -110,11 +108,12 @@ public class Extractor {
}
private Function<String, String> getConversion(String format) {
- Locale l =new Locale("cs");
- NumberFormat nf = NumberFormat.getNumberInstance(l);
+// Locale l =new Locale("cs");
+// NumberFormat nf = NumberFormat.getNumberInstance(l);
switch(format) {
case "kb":
- return str->nf.format(Double.parseDouble(str.replace("kb", ""))/1024.);
+ //return str->nf.format(Double.parseDouble(str.replace("kb", ""))/1024.);
+ return str -> "" + Double.parseDouble(str.replace("kb", ""))/1024.;
case "tm":
return str-> Duration.between(LocalTime.of(0, 0, 0), LocalTime.parse(str, DateTimeFormatter.ofPattern("H:m:s"))).getSeconds() + "";
}
--
GitLab