Warning: session_start(): open(/var/lib/php/sessions/sess_0u701dmgf7ihid8mnqhtvuapfu, 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 L talkToVMsRunningProgram(S progID) { new L l; for (DialogIO io : talkToAllVMs()) pcall { bool close = true; try { S pID = io.ask("what is the main program id?"); if (sameSnippetID(pID, progID)) { close = false; l.add(io); } } finally { if (close) io.close(); } } ret l; }