diff options
author | stijn <stijn@ignitron.net> | 2019-03-31 09:47:11 +0200 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2019-04-04 15:24:29 +1100 |
commit | d89ce2ed1d4d2bf2ac3e273163af1e69603d9780 (patch) | |
tree | a4dd8a63f825f4123509ae0946f93cecba7bf958 /tools | |
parent | 3dda9647855b6e7ca265d77027d8eefc143a74b9 (diff) |
tests/run-tests: Ignore exception in process kill when ending repl test.
When running Linux on WSL, Popen.kill() can raise a ProcessLookupError if
the process does not exist anymore, which can happen here since the
previous statement already tries to close the process by sending Ctrl-D to
the running repl. This doesn't seem to be a problem on other OSes, so just
swallow the exception silently since it indicates the process has been
closed already, which after all is what we want.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions