Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else {
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else {
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else {
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else {
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
save(); } else { if (entry.getFileType() != fileType) { entry.setFileType(fileType); updateTable();