Warning: session_start(): open(/var/lib/php/sessions/sess_01n3nu8aedoqck2hnklhlp7aig, 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 CloseableCharSequence iso8859_readOnlyFileAsCharSequence(File f, O... _) {
optPar bool noToString; // if set, only subsequences can be converted to a string
optPar long start = 0;
int l = toInt_safe(l(f)-start);
RandomAccessFile raf = randomAccessFileForReading(f);
ret new CloseableCharSequence {
public int length() { ret l; }
public char charAt(int i) ctex { raf.seek(start+i); ret (char) raf.readByte(); }
public CharSequence subSequence(int from, int to) { ret substringObject(this, from, to); }
toString {
if (noToString) fail("Too big for converting to string");
ret charSequenceToStringByChar(this);
}
public void close { _close(raf); }
};
}