Warning: session_start(): open(/var/lib/php/sessions/sess_1bccrdomir5bk0mip7atos3lmq, 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 unix_killAll(S pattern, O... _) {
ret unix_killAll(s -> containsWord_regexp(s, pattern), _);
}
static L unix_killAll(final F1 f, O... _) {
Map procs = psPidsAndCommands();
Map p2 = filterMap(procs, func(Int i, S cmd) { f.get(cmd) });
for (Int pid : keys(p2))
print("Killing " + pid + ": " + p2.get(pid));
unix_killProcesses(keys(p2), _);
ret asList(keys(p2));
}