137 |
w.write(m.value); |
w.write(m.value); |
138 |
w.write('\n'); |
w.write('\n'); |
139 |
w.close(); |
w.close(); |
140 |
|
} |
141 |
|
|
142 |
|
public void addIndexed(BlockId id) throws IOException { |
143 |
|
if(getIndexed().contains(id)) |
144 |
|
return; |
145 |
|
|
146 |
path = new File(dbDir, "indexed_blocks").getPath(); |
String path = new File(dbDir, "indexed_blocks").getPath(); |
147 |
os = new FileOutputStream(path, true); |
OutputStream os = new FileOutputStream(path, true); |
148 |
w = new OutputStreamWriter(os, "UTF-8"); |
Writer w = new OutputStreamWriter(os, "UTF-8"); |
149 |
w.write(m.block.getURI()); |
w.write(id.getURI()); |
150 |
w.write('\n'); |
w.write('\n'); |
151 |
w.close(); |
w.close(); |
152 |
} |
} |