summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorstijn <stijn@ignitron.net>2019-03-31 09:47:11 +0200
committerDamien George <damien.p.george@gmail.com>2019-04-04 15:24:29 +1100
commitd89ce2ed1d4d2bf2ac3e273163af1e69603d9780 (patch)
treea4dd8a63f825f4123509ae0946f93cecba7bf958 /tools
parent3dda9647855b6e7ca265d77027d8eefc143a74b9 (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