mongodb-js / devtools-shared / 17645456126

78%

push

github

fix(mongodb-runner): make close operation more resilient (#571)

Store identifying information about a server in a database, then only actually
run `process.kill()` on servers where this identifying information matches
what we expect it to match.

Also, do not kill processes to which we cannot connect, and instead assume
they have already been closed before.

Fixes: https://github.com/mongodb-js/devtools-shared/issues/483

1536 of 2392 branches covered (64.21%)

Branch coverage included in aggregate %.

40 of 46 new or added lines in 2 files covered. (86.96%)

3341 of 4281 relevant lines covered (78.04%)

587.57 hits per line