chiark / gitweb /
wdt: Do not tolerate JS errors
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 18:19:23 +0000 (19:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 18:20:09 +0000 (19:20 +0100)
commitaaf379c566d19457a9c0a6ebd1c09c72be72338e
tree2c25b1d3fc98de9b847f3ef4a556946910148160
parent4407d0910c2b8f2c778facbe8ab4e0507de9cdc8
wdt: Do not tolerate JS errors

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdriver.rs