Function kill

script/computerd-soak.mjs:150–156

(cid)

}

async function kill(cid) {
  try {
    await execFileP("docker", ["kill", cid]);
  } catch {
    /* already dead */
  }
}

// Sample container RSS from `docker stats --no-stream`.
async function dockerStats(cids) {