(cid)
| 109 | } |
| 110 | |
| 111 | async function killContainer(cid) { |
| 112 | if (KEEP) { |
| 113 | console.error(`KEEP=1 set; leaving container ${cid} running`); |
| 114 | return; |
| 115 | } |
| 116 | try { |
| 117 | await execFileP("docker", ["kill", cid]); |
| 118 | } catch { |
| 119 | /* already dead */ |
| 120 | } |
| 121 | } |
| 122 | |
| 123 | async function main() { |
| 124 | process.stderr.write("booting computerd container ...\n"); |