Flush buffered writer when writing changes
authorMathieu Baudier <mbaudier@argeo.org>
Sun, 19 Mar 2023 06:57:29 +0000 (07:57 +0100)
committerMathieu Baudier <mbaudier@argeo.org>
Sun, 19 Mar 2023 06:57:29 +0000 (07:57 +0100)
src/org/argeo/build/Repackage.java

index 82a24f0b9a7bb3d093443797aff9ef91d5ed6b90..2c86ddd3a6ee4f57833f39286f6aa637794d427b 100644 (file)
@@ -1250,6 +1250,7 @@ class A2Origin {
                                writer.write("- Moved " + msg + ".\n");
                        for (String msg : deleted)
                                writer.write("- Deleted " + msg + ".\n");
+                       writer.flush();
                }
        }
 }