Searched refs:zipResultFile (Results 1 – 2 of 2) sorted by relevance
571 File zipResultFile = null; in zipResults() local574 zipResultFile = new File(resultsDir.getParent(), String.format("%s.zip", in zipResults()576 ZipUtil.createZip(resultsDir, zipResultFile); in zipResults()580 return zipResultFile; in zipResults()
1077 File zipResultFile = null; in zipResults() local1080 zipResultFile = new File(resultsDir.getParent(), String.format("%s.zip", in zipResults()1082 ZipUtil.createZip(resultsDir, zipResultFile); in zipResults()1086 return zipResultFile; in zipResults()