Warning: session_start(): open(/var/lib/php/sessions/sess_4vet23oankqaq71g9jut2s48nj, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static int loadTextFilePart_iterator_chunkSize = 65536;
// TODO: close on failure
static IterableIterator loadTextFilePart_iterator(File file, long start, long end) {
if (end-start <= loadTextFilePart_iterator_chunkSize)
ret ll(loadTextFilePart(file, start, end));
final FileInputStream in = newFileInputStream(file);
in.skip(start);
final byte[] buf = new byte[loadTextFilePart_iterator_chunkSize];
final new UTF8Processor p;
ret iteratorFF(func -> S {
S s = readChunkThroughUTF8Processor(p, in, buf);
print("Chunk read: " + l(s));
if (nempty(s)) ret s;
in.close();
ret endMarker();
});
}