Warning: session_start(): open(/var/lib/php/sessions/sess_dost2d89ia86v3rerh7vbgljj0, 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
concept CSnippet { long snippetID; S type; S title, md5, transpilationMD5; File file() { ret snippetDB_textFile(snippetID); } S text() { ret loadTextFile(file()); } bool hasText() { ret fileExists(file()); } void setText(S text) { S oldText = text(); if (eq(text, oldText)) ret; thread { logStructure(javaxBackupDir("snippet-text-changes.log"), ll(now(), snippetID, type, title, md5, "old", oldText, "new", text)); } saveTextFile(file(), text); } int textLength() { ret hasText() ? (int) fileSize(file()) : -1; } S snippetID() { ret fsI(snippetID); } }