Warning: session_start(): open(/var/lib/php/sessions/sess_38gl1hms6uerljboaos3r9rl1q, 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 void web_labelToLabel(Web web, Lisp in, Lisp out) { print("labelToLabel " + in + " => " + out); for (WebNode node : web.nodes) if (node.hasLabel(in)) node.addLabel(out); }