chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6841d42) | patch
wdt: Provide synch_ignore_errors
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 22:47:11 +0000 (22:47 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 23:18:38 +0000 (23:18 +0000)
commitcf54917f0ba1f0c1fcbfbe35c2d2976101e67f65
treeb6b4202c4b12c747e7b73239e1d2dcf673fcc09dtree | snapshot
parent6841d420d298d4a999ebf02bb33151d00a92cb0ccommit | diff
wdt: Provide synch_ignore_errors

Will be needed to be able to test otter(1) runs that currently cause
errors requiring a reload.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.