From eefde09024955c900d1263d0c15fff38fa4b5bc8 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 4 Jan 2021 01:01:44 +0000
Subject: [PATCH] slightly better debug from wdriver tests

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts | 1 +
 wdriver/run1        | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/templates/script.ts b/templates/script.ts
index 58510e2e..4fae4d66 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -170,6 +170,7 @@ function json_report_error(error_for_json: Object) {
 function string_report_error(error_message: String) {
   let errornode = document.getElementById('error')!;
   errornode.textContent += '\nError (reloading may help?):' + error_message;
+  console.error("ERROR reported via log", error_message);
   // todo want to fix this for at least basic game reconfigs, auto-reload?
 }
 
diff --git a/wdriver/run1 b/wdriver/run1
index 9fa13971..d2735dbe 100755
--- a/wdriver/run1
+++ b/wdriver/run1
@@ -9,7 +9,7 @@ case "${PIPESTATUS[*]}" in
 "0 0")	exit 0;
 esac
 
-grep -v 'DEBUG [otter_webdriver_tests]' <tmp/"$tname".log \
-| tail -40
+ <tmp/"$tname".log \
+ tail -40
 
 exit 1
-- 
2.30.2