<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_rg2uasnup1c5bg08mt8mdku3f1, 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 />
!752

static JList list;
static int delay = 3000;

p {
  JFrame frame = new JFrame("VMs List");
  frame.setBounds(10, 10, 250, 400);

  list = new JList();
  updateList();
  
  frame.getContentPane().add(new JScrollPane(list));
  frame.setVisible(true);
  
  installTimer(list, runnable {
    updateList();
  }, delay);
}

static new MonoThread update;

!include #1001434 // MonoThread

static void updateList() {
  update.run(runnable {
    new L<S> vms;
    for (DialogIO vm : talkToAllVMs()) {
      S pid = vm.ask("what is your process id");
      S progs = vm.ask("which programs are you running (ids only)?");
      new Matches m;
      if (match3("these: *", progs, m))
        progs = unquote(m.m[0]);
      vms.add(pid + ": " + progs);
    }
    fillListWithStrings(list, vms);
  });
}