Warning: session_start(): open(/var/lib/php/sessions/sess_47n3lvp69pj7o24e2iophoprp0, 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 void copyMainClassFileFromHotwiredProgram(Class program, File destFile) {
L files = cast get(getClassLoader(program), 'files);
for (File location : files)
if (location.isDirectory()) {
File f = new File(location, "main.class");
if (f.exists()) ret with copyFile(f, destFile);
} else if (location.isFile()) pcall {
ret with extractFileFromZipFile(location, "main.class", destFile);
}
fail("main.class not found in: " + files);
}