diff --git a/src/main/java/cli/Manager.java b/src/main/java/cli/Manager.java index 3a56377e..10291f20 100644 --- a/src/main/java/cli/Manager.java +++ b/src/main/java/cli/Manager.java @@ -293,7 +293,9 @@ class Manager { if (output != null) { output.close(); } - tmpFile.delete(); + if (!tmpFile.delete()) { + System.err.println("Failed to delete temp file: " + tmpFile); + } } return outputFile; }