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); }
}