<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_v62r39hutinu9ndb81bjeqr6q7, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p {
  Map<Int, S> procs = psPidsAndCommands();
  Map<Int, S> p2 = filterMap(procs, func(Int i, S cmd) { cic(cmd, "pocketsphinx") });
  for (Int pid : keys(p2))
    print(pid + ": " + procs.get(pid));
  print("Press enter to kill processes: " + struct(p2));
  readLine();
  
  unix_killProcesses(keys(p2));
  
  sleepSeconds(1);
  procs = psPidsAndCommands();
  p2 = filterMap(procs, func(Int i, S cmd) { cic(cmd, "pocketsphinx") });
  for (Int pid : keys(p2))
    print(pid + ": " + procs.get(pid));
}