<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_auu4kaissg63nl8v2ss3dujgqt, 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 StringBuilderWithIndent {
  new StringBuilder buf;
  S indent = "";
  
  void addLine(O o) {
    buf.append(indentx(indent, o + "\n"));
  }
  
  AutoCloseable indent() {
    S oldIndent = indent;
    indent += "  ";
    ret autoCloseable { indent = oldIndent; };
  }
  
  //void unindent() { indent = dropLast(2, indent); }
}