Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eric Duminil
RegionChooser
Commits
942d3f94
Commit
942d3f94
authored
Oct 13, 2022
by
Eric Duminil
Browse files
Forgotten .gml
parent
841a9dc9
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java
View file @
942d3f94
...
...
@@ -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
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment