Address comments from code review

lf-lang · Jun 20, 2024 · 2121a7e · 2121a7e
1 parent 0c15a11
commit 2121a7e
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/core/src/main/java/org/lflang/generator/docker/DockerGenerator.java b/core/src/main/java/org/lflang/generator/docker/DockerGenerator.java
@@ -157,14 +157,17 @@ protected String generateCopyOfScript() {
    * property from the builder to the runner.
    */
   protected String generateCopyOfUserFiles() {
+    if (!context.getTargetConfig().isSupported(FilesProperty.INSTANCE)) {
+      return "";
+    }
     var files = context.getTargetConfig().get(FilesProperty.INSTANCE);
     if (files == null) {
-      return  "# (No user-specified files to be copied.)";
+      return "# (No user-specified files to be copied.)";
     }
     var ret = new StringBuilder();
     for (var file : files) {
       var p = Path.of(file);
-      var name = p.getName(p.getNameCount() - 1);
+      var name = p.getFileName().toString();
       ret.append(
           String.format(
               "COPY --from=builder \"lingua-franca/%s/src-gen/%s\" \"./%s\"",