<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_dfj8krbcgth6spmbfsep9qpi3c, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static void zip2dir(File inZip, File outDir) {
  zip2dir(inZip, outDir, "");
}

static void zip2dir(File inZip, File outDir, S prefix) ctex {
  if (prefix.length() != 0 && !prefix.endsWith("/")) prefix += "/";
  
  temp ZipFile zipFile = new ZipFile(inZip);
  Enumeration entries = zipFile.entries();
  while (entries.hasMoreElements()) {
    ZipEntry entry = (ZipEntry) entries.nextElement(); 
    
    if (entry.isDirectory()) continue; // We care about files only, really. Directories are made on the fly anyway.
    
    if (!entry.getName().startsWith(prefix)) continue;
    
    File outFile = new File(outDir, entry.getName());
    print("Unzipping " + entry.getName() + " to " + outFile.getAbsolutePath());
    
    stream2file(zipFile.getInputStream(entry), outFile);
  }
}