diff --git a/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java b/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java index 30fa4d7e9a61a76fbb3318f6a3f4f21681a73e02..826475e5fbe658bd877d24f8ed488d932557dfb8 100644 --- a/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java +++ b/src/main/java/eu/simstadt/regionchooser/RegionChooserBrowser.java @@ -78,7 +78,7 @@ public Void call() throws IOException { public void downloadRegionFromCityGMLs(String wktPolygon, String project, String csvCitygmls, String srsName) throws IOException, ParseException, XPathParseException, NavException { - //NOTE: It doesn't seem possible to pass arrays or list from JS to Java. So csvCitygmls contains names separated by ; + // 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); StringBuilder sb = RegionExtractor.selectRegionDirectlyFromCityGML(wktPolygon, srsName, paths);