diff options
Diffstat (limited to 'sched/src/com/android/sched/vfs/ReadWriteZipFS.java')
| -rw-r--r-- | sched/src/com/android/sched/vfs/ReadWriteZipFS.java | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/sched/src/com/android/sched/vfs/ReadWriteZipFS.java b/sched/src/com/android/sched/vfs/ReadWriteZipFS.java index 56159c7..7d4e88c 100644 --- a/sched/src/com/android/sched/vfs/ReadWriteZipFS.java +++ b/sched/src/com/android/sched/vfs/ReadWriteZipFS.java @@ -16,6 +16,7 @@ package com.android.sched.vfs; +import com.android.sched.util.config.MessageDigestFactory; import com.android.sched.util.file.CannotCreateFileException; import com.android.sched.util.file.CannotDeleteFileException; import com.android.sched.util.file.CannotSetPermissionException; @@ -52,7 +53,8 @@ public class ReadWriteZipFS extends BaseVFS<BaseVDir, BaseVFile> implements VFS @Nonnull private final File dir; - public ReadWriteZipFS(@Nonnull OutputZipFile file) + public ReadWriteZipFS(@Nonnull OutputZipFile file, int numGroups, int groupSize, + @Nonnull MessageDigestFactory mdf, boolean debug) throws NotDirectoryException, WrongPermissionException, CannotSetPermissionException, @@ -61,8 +63,15 @@ public class ReadWriteZipFS extends BaseVFS<BaseVDir, BaseVFile> implements VFS CannotCreateFileException { int permissions = Permission.READ | Permission.WRITE; dir = Files.createTempDir(); - CachedDirectFS workVFS = new CachedDirectFS(new Directory(dir.getPath(), null, - Existence.MUST_EXIST, permissions, ChangePermission.NOCHANGE), permissions); + VFS workVFS; + try { + workVFS = new CaseInsensitiveFS(new CachedDirectFS(new Directory(dir.getPath(), + null, Existence.MUST_EXIST, permissions, ChangePermission.NOCHANGE), permissions), + numGroups, groupSize, mdf, debug); + } catch (WrongVFSFormatException e) { + // Directory is empty, so this cannot happen + throw new AssertionError(e); + } WriteZipFS finalVFS = new WriteZipFS(file); this.vfs = new VFSToVFSWrapper(workVFS, finalVFS); } |