diff options
author | Lars Wirzenius <liw@liw.fi> | 2024-01-15 08:38:01 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2024-01-15 08:38:01 +0200 |
commit | 72bb52c13766e8957ef24accd1b63d4ea0b6234e (patch) | |
tree | 83a2568e87571796f398a4465069e0a075c97223 | |
parent | 41b0107afe3fb9265370f6bc701ecdbe462751c2 (diff) | |
download | wumpus-hunter-72bb52c13766e8957ef24accd1b63d4ea0b6234e.tar.gz |
fix(hunt.sh): don't fail is wumpus fails, but keep running
Signed-off-by: Lars Wirzenius <liw@liw.fi>
-rwxr-xr-x | hunt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -14,7 +14,7 @@ while true; do --log "$WEBROOT/log.txt" \ --run-log "$WEBROOT" \ --stats "$WEBROOT/stats.txt" \ - --counts "$WEBROOT/counts.html" + --counts "$WEBROOT/counts.html" || true ended="$(date +%s)" duration="$(expr "$ended" - "$started")" echo " $duration s" |