From 11aeba37d909a1b1ab7f2d22efb44a2d9c283853 Mon Sep 17 00:00:00 2001 From: Misagh Moayyed Date: Fri, 22 Jun 2018 01:58:36 -0700 Subject: [PATCH] choose a better date format when exporting files as xml --- .../configuration/component/PageDebugDownloadBehaviour.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/component/PageDebugDownloadBehaviour.java b/gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/component/PageDebugDownloadBehaviour.java index acc89372be0..4238dc0e8f9 100644 --- a/gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/component/PageDebugDownloadBehaviour.java +++ b/gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/component/PageDebugDownloadBehaviour.java @@ -29,6 +29,9 @@ import org.apache.wicket.util.file.Files; import java.io.*; +import java.text.SimpleDateFormat; +import java.time.LocalDateTime; +import java.time.format.DateTimeFormatter; import java.util.Collection; import java.util.zip.ZipEntry; import java.util.zip.ZipOutputStream; @@ -99,7 +102,8 @@ protected File initFile() { } String suffix = isUseZip() ? "zip" : "xml"; - String fileName = "ExportedData_" + getType().getSimpleName() + "_" + System.currentTimeMillis() + "." + suffix; + String currentTime = LocalDateTime.now().format(DateTimeFormatter.ofPattern("yyyy_MM_dd_HH_m_s")); + String fileName = "ExportedData_" + getType().getSimpleName() + "_" + currentTime + "." + suffix; File file = new File(folder, fileName); Writer writer = null;