Warning: session_start(): open(/var/lib/php/sessions/sess_e7olvugp4q6i4iu6d5ej798ifa, 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
static SS groupIndentedDictionary(LS l) {
SS map = ciMap();
for (int i = 0; i+1 < l(l); i++)
if (!startsWithSpace(l.get(i)) && startsWithSpace(l.get(i+1))) {
map.put(trim(l.get(i)), autoUnindent(l.get(i+1)));
++i;
} else
warn("groupIndentedDictionary: bad entry at " + i);
ret map;
}