/** Lis le header du fichier temporaire et charge ses informations */ private void readHeaderTmpFile() { try { FileInputStream reader_tmp = new FileInputStream(this); FileChannel reader = reader_tmp.getChannel(); int key_size = 0; int offset = 0; // Taile de le clef key_size = Tools.readInt(reader, offset); offset += 4; // Clef _key = Tools.readString(reader, offset, key_size); offset += key_size; // Size _size = Tools.readInt(reader, offset); offset += 4; // piecesize _piecesize = Tools.readInt(reader, offset); offset += 4; // Buffermap _buffermap = new Buffermap(this.nbPieces(), false); int i; for (i = 0; i < this.nbPieces(); i++) { int index = Tools.readInt(reader, offset); if (index >= 0) { _buffermap.setBit(i, true); } else { _buffermap.setBit(i, false); } offset += 4; } reader_tmp.close(); } catch (Exception e) { System.out.println("Unable to read tmp file header"); e.printStackTrace(); } }