Warning: session_start(): open(/var/lib/php/sessions/sess_033s5clk6inp28q4efjgpngct3, 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 classSizeInBytes(Class c) ctex {
L files = cast get(getClassLoader(c), 'files);
S name = c.getName() + ".class";
for (File location : files)
if (location.isDirectory()) {
File f = new File(location, name);
if (f.exists()) ret fileSize(f);
} else if (location.isFile()) pcall {
temp ZipFile zip = new ZipFile(location, name);
ZipEntry entry = zip.getEntry(name);
if (entry != null) ret entry.getSize();
}
fail(name + " not found in: " + files);
}