<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_gh7h73cskosgs7evu440c7327v, 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 />
sclass WoodyBot {
  SS files = new TreeMap;
  new TreeMap<S, WoodyRule> rules;
  SS globals = new TreeMap;
  SS regexpMacros = new TreeMap;
  new HashMap<S, Pattern> compiledPatterns;
  S jumpawayRule = "Agent#Agent.01_WEB-CONTENT.Vorschlaege";
  new TreeSet<S> disabledFolders;
  
  Collection<S> fileNames() {
    ret keys(files);
  }
  
  S getFile(S fileName) {
    ret lookupPossiblyIgnoringCase(files, fileName);
  }
  
  WoodyRule getRule(S ruleName) {
    ret ruleName == null ? null : lookupPossiblyIgnoringCase(rules, ruleName);
  }
  
  void cleanMeUp() { cleanUp(files); }
}