Warning: session_start(): open(/var/lib/php/sessions/sess_rqse4rf9hi4m164lf7fjia0c20, 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
please include function shorten. static Symbol shortenSymbol(Symbol s) { ret shortenSymbol(s, shorten_default); } static Symbol shortenSymbol(Symbol s, int max) { ret shortenSymbol(s, max, "..."); } static Symbol shortenSymbol(Symbol s, int max, S shortener) { if (s == null) ret emptySymbol(); if (max < 0) ret s; return s.length() <= max ? s : subsymbol(s, 0, min(s.length(), max-l(shortener))) + shortener; } static Symbol shortenSymbol(int max, Symbol s) { ret shortenSymbol(s, max); }