Warning: session_start(): open(/var/lib/php/sessions/sess_so54khiraqnfp4ttpo95e7gep7, 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
sclass JavaCompiler {
S javaCompilerOutput;
S compileJava(File srcDir, List libraries, File classesDir) throws IOException {
++compilations;
// collect sources
List sources = new ArrayList();
if (verbose) System.out.println("Scanning for sources in " + srcDir.getPath());
scanForSources(srcDir, sources, true);
if (sources.isEmpty())
throw new IOException("No sources found");
// compile
File optionsFile = File.createTempFile("javac", "", javaxTempDir());
try {
if (verbose) System.out.println("Compiling " + sources.size() + " source(s) to " + classesDir.getPath());
if (verbose) System.out.println("Libraries: " + libraries);
String options = "-d " + bashQuote(classesDir.getPath());
libraries.add(pathToJavaxJar());
writeOptions(sources, libraries, optionsFile, options);
classesDir.mkdirs();
invokeJavaCompiler(optionsFile);
} finally {
optionsFile.delete();
}
}
}