Warning: session_start(): open(/var/lib/php/sessions/sess_i7m44djh3h8s3agipgkc6h42b3, 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 bool tok_isSingleTypeArg(L tok, int iOpeningBracket) { int iClosingBracket = findEndOfTypeArgs(tok, iOpeningBracket)-1; if (iClosingBracket == iOpeningBracket+4) true; if (eq(get(tok, iOpeningBracket+4), "<")) ret findEndOfTypeArgs(tok, iOpeningBracket+4) == iClosingBracket-2); false; // hmm }