<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_1llqjj3vpdrsmngvjhg7j89jju, 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 WoodyBot loadWoodyBot(S snippetID) {
  new WoodyBot bot;
  File zip = loadLibrary(botID);
  
  // Find out main folder name ("Woody-2017-...")
  S prefix = commonPrefixMulti(listFilesInZip(zip));
  int i = prefix.indexOf('/');
  S mainFolderName = i >= 0 ? substring(prefix, 0, i) : "";
  
  bot.files = zipFileSnippetToLazyTextMap_subfolder(mainFolderName);
  
  ret bot;
}