Warning: session_start(): open(/var/lib/php/sessions/sess_um6uo0gphjrbdsr647jhdtmgh6, 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
!7
// to prevent endless loop!
static L processing = synchroList();
p-tt {
sendToAll("how are you");
bot();
}
static S answer(S s) {
processing.add(s);
try {
L l = sendToAll(s);
ret "sent to " + n(l, "bots");
} finally {
processing.remove(s);
}
}