UUID as zip name

This commit is contained in:
damage 2024-12-23 10:32:55 +01:00
parent 5aa10f234f
commit 36473592ad

View File

@ -10,6 +10,7 @@ import java.io.IOException;
import java.io.InputStream; import java.io.InputStream;
import java.io.InputStreamReader; import java.io.InputStreamReader;
import java.nio.charset.StandardCharsets; import java.nio.charset.StandardCharsets;
import java.util.UUID;
import java.util.stream.Collectors; import java.util.stream.Collectors;
import java.util.zip.ZipEntry; import java.util.zip.ZipEntry;
import java.util.zip.ZipOutputStream; import java.util.zip.ZipOutputStream;
@ -104,7 +105,7 @@ public class Download extends AuthenticatedServlet {
private String zipDependencies() throws IOException { private String zipDependencies() throws IOException {
File tempDir = new File(TEMP_DIR); File tempDir = new File(TEMP_DIR);
File zipFile = File.createTempFile("mavor_", ".zip", tempDir); File zipFile = new File(tempDir, "mavor_" + UUID.randomUUID() + ".zip");
ZipOutputStream zipStream = new ZipOutputStream(new FileOutputStream(zipFile)); ZipOutputStream zipStream = new ZipOutputStream(new FileOutputStream(zipFile));
// TODO: this goes BOOM on parallel use // TODO: this goes BOOM on parallel use
File[] jarFiles = tempDir.listFiles(new FilenameFilter() { File[] jarFiles = tempDir.listFiles(new FilenameFilter() {