]> Sergey Matveev's repositories - public-inbox.git/commitdiff
lei: lock worker counts
authorEric Wong <e@80x24.org>
Sat, 18 Sep 2021 09:33:24 +0000 (09:33 +0000)
committerEric Wong <e@80x24.org>
Sat, 18 Sep 2021 20:25:25 +0000 (20:25 +0000)
It doesn't seem worthwhile to change worker counts dynamically
on a per-command-basis with lei, and I don't know how such an
interface would even work...


No differences found