From 942d3f94fceaa2e18d42212a5ba495759a4e3f42 Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Thu, 13 Oct 2022 11:45:16 +0200
Subject: [PATCH] Forgotten .gml
---
.../java/eu/simstadt/regionchooser/RegionChooserBrowser.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java b/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java
index 3c2b597..9e6b288 100644
--- a/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java
+++ b/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java
@@ -83,9 +83,9 @@ public int downloadRegionFromCityGMLs(String wktPolygon, String project, String
// It doesn't seem possible to pass arrays or list from JS to Java. So csvCitygmls contains names separated by ;
Path[] paths = Stream.of(csvCitygmls.split(";")).map(s -> citygmlPath(project, s)).toArray(Path[]::new);
+ String proposedName = csvCitygmls.replace(";", "_").replace(".gml", "") + ".gml";
- File outputFile = selectSaveFileWithDialog(project,
- csvCitygmls.replace(";", "_").replace(".gml", ""), "selected_region");
+ File outputFile = selectSaveFileWithDialog(project, proposedName, "part");
if (outputFile == null) {
return -1;
--
GitLab