slightly better debug from wdriver tests

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

diff --git a/templates/script.ts b/templates/script.ts
index 58510e2e762b6da94018cb8093618dac0ed8511f..4fae4d667ba4a96da2c709690bb69bf0b49a8c89 100644 (file)
--- 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 9fa13971bb41987e4315b1f1ca27c5928b5c72d3..d2735dbe1590ba8d18225113783a34cfc0880727 100755 (executable)
--- 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