Searched refs:zipResultFile (Results 1 – 2 of 2) sorted by relevance
653 File zipResultFile = null; in zipResults() local656 zipResultFile = new File(resultsDir.getParent(), String.format("%s.zip", in zipResults()658 ZipUtil.createZip(resultsDir, zipResultFile); in zipResults()662 return zipResultFile; in zipResults()
489 File zipResultFile = new File(resultsDir.getParent(), String.format("%s.zip", in zipResults() local491 FileUtil.createZip(resultsDir, zipResultFile); in zipResults()